PrintForm Definitions languages Sections AutomataTheory Doc

At: lang closure wf 1
1. Alph: Type
2. L: LangOver(Alph)

(L) LangOver(Alph)
By: Unfold `lang_closure` 0
Generated subgoal:

1 (l.n:. (Ln)(l)) LangOver(Alph)

About:
memberuniverselambdaexistsapply