PrintForm Definitions action sets Sections AutomataTheory Doc

At: lpower wf 1 1
1. Alph: Type
2. L: Alph*

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

None

About:
memberlistnatural_numberuniverse