Thms
languages
Sections
AutomataTheory
Doc
lang_inters
Def
(L
M)(l) == L(l) & M(l)
Thm*
Alph:Type, M,N:LangOver(Alph). (M
N)
LangOver(Alph)
About:
M)(l) == L(l) & M(l)
Alph:Type, M,N:LangOver(Alph). (M N) 
LangOver(Alph) M)(l) == L(l) & M(l)
