PrintForm languages Sections AutomataTheory Doc

At: lang union idemp 1 2
1. Alph: Type
2. L: Alph*Prop
3. l: Alph*
4. L(l)

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

None

About:
orapplyuniversefunctionlistprop