PrintForm Definitions action sets Sections AutomataTheory Doc

At: lpower wf 1 2
1. Alph: Type
2. L: Alph*
3. n:
4. 0 < n
5. (Ln-1) Alph*

(Ln) Alph*
By: RecCaseSplit `lpower`
Generated subgoals:

None

About:
memberlistuniverseintless_thannatural_numbersubtract