PrintForm Definitions languages Sections AutomataTheory Doc

At: lang union wf 1
1. Alph: Type
2. M: LangOver(Alph)
3. N: LangOver(Alph)

(M U N) LangOver(Alph)
By: Unfold `lang_union` 0
Generated subgoal:

1 (l.M(l) N(l)) LangOver(Alph)

About:
memberuniverselambdaorapply