PrintForm Definitions languages Sections AutomataTheory Doc

At: lang power wf 1
1. Alph: Type
2. L: LangOver(Alph)
3. n:

(Ln) LangOver(Alph)
By:
NatInd 3
THEN
RecCaseSplit `lang_power`
Generated subgoals:

None

About:
memberuniverse