PrintForm Definitions languages Sections AutomataTheory Doc

At: lang power wf

Alph:Type, L:LangOver(Alph), n:. (Ln) LangOver(Alph)
By: UnivCD
Generated subgoal:

11. Alph: Type
2. L: LangOver(Alph)
3. n:
(Ln) LangOver(Alph)

About:
alluniversemember