PrintForm Definitions languages Sections AutomataTheory Doc

At: lang union wf

Alph:Type, M,N:LangOver(Alph). (M U N) LangOver(Alph)
By: UnivCD
Generated subgoal:

11. Alph: Type
2. M: LangOver(Alph)
3. N: LangOver(Alph)
(M U N) LangOver(Alph)

About:
alluniversemember