PrintForm Definitions action sets Sections AutomataTheory Doc

At: lpower wf

Alph:Type, L:Alph*, n:. (Ln) Alph*
By: UnivCD
Generated subgoal:

11. Alph: Type
2. L: Alph*
3. n:
(Ln) Alph*

About:
alluniverselistmember