PrintForm
Definitions
languages
Sections
AutomataTheory
Doc
At:
lang
closure
wf
1
1
1
1.
Alph:
Type
2.
L:
LangOver(Alph)
(
l.
n:
. (L
n)(l))
Alph*
Prop
By:
Auto
Generated subgoal:
1
3.
l:
Alph*
4.
n:
(L
n)
Alph*
Prop
About:
(L
n) 
Alph*
Prop (
l.
n:. (Ln)(l)) Alph*Prop (Ln) Alph*Prop
