PrintForm languages Sections AutomataTheory Doc

At: lang union inters 1 1 1
1. Alph: Type
2. L: Alph*Prop
3. M: Alph*Prop
4. N: Alph*Prop
5. l: Alph*
6. L(l)

L(l) M(l)
By: Sel 1 (Analyze 0)
Generated subgoals:

None

About:
orapplyuniversefunctionlistprop