PrintForm languages Sections AutomataTheory Doc

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

L(l)
By: Analyze 4
Generated subgoals:

None

About:
applyuniversefunctionlistpropor