simp [closure]
Δ : RankedAlphabet
H : Type
c : (Term.algebra Δ H).carrier
⊢ c ∈ closure (Vars Δ H) (Algebra.ops (Term.algebra Δ H))
Δ : RankedAlphabet
H : Type
c : (Term.algebra Δ H).carrier
⊢ c ∈ Closure (Vars Δ H) (Algebra.ops (Term.algebra Δ H))