PrintForm Definitions languages Sections AutomataTheory Doc

At: lang closure wf 1 1 1 1
1. Alph: Type
2. L: LangOver(Alph)
3. l: Alph*
4. n:

(Ln) Alph*Prop
By: Fold `languages` 0
Generated subgoal:

1 (Ln) LangOver(Alph)

About:
memberfunctionlistpropuniverse