Thms
languages
Sections
AutomataTheory
Doc
lang_compl
Def
(
L)(l) ==
L(l)
Thm*
Alph:Type, M:LangOver(Alph). (
M)
LangOver(Alph)
not
Def
A == A
False
Thm*
A:Prop. (
A)
Prop
About:
L)(l) == 
L(l)
Alph:Type, M:LangOver(Alph). (M) 
LangOver(Alph)A == A 
False
A:Prop. (A) PropL)(l) == L(l)
A == A False
