PrintForm Definitions languages Sections AutomataTheory Doc

At: lang zero power

Alph:Type, L:LangOver(Alph). (L0) =
By: RecCaseSplit `lang_power`
Generated subgoal:

11. 0 = 0
2. Alph: Type
3. L: LangOver(Alph)
=

About:
alluniversenatural_number