PrintForm
Definitions
languages
Sections
AutomataTheory
Doc
At:
lang
zero
power
1
1.
0 = 0
2.
Alph:
Type
3.
L:
LangOver(Alph)
=
By:
Inst
Thm*
L,M:LangOver(Alph). L = M
L = M [Alph;
;
]
Generated subgoals:
None
About:
= 
L,M:LangOver(Alph). L = M 
L = M
[Alph;;]
