unfold Isomorphic
Γ : Type
inst✝ : Alphabet Γ
⊢ stringAlgebra Γ ≅ Term.algebra (RankedAlphabet.lift Γ) Empty
Γ : Type
inst✝ : Alphabet Γ
⊢ Nonempty (Iso (stringAlgebra Γ) (Term.algebra (RankedAlphabet.lift Γ) Empty))