languages Sections AutomataTheory Doc

lang_empty Def (l) == False

Thm* Alph:Type. LangOver(Alph)

About:
!abstractionapplyfalsealluniversemember