PrintForm Definitions languages Sections AutomataTheory Doc

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

(l.n:. (Ln)(l)) LangOver(Alph)
By: Unfold `languages` 0
Generated subgoal:

1 (l.n:. (Ln)(l)) Alph*Prop

About:
memberlambdaexistsapplyuniversefunctionlistprop