Theorem: Algebra.carrier_closed (WTA.lean)

State before:
Δ : RankedAlphabet
alg : Algebra Δ
⊢ Closed alg Set.univ
Tactic:
simp [Closed, Set.mem_univ]
State after:
no goals