PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
lpower
alt
Alph:Type, L:Alph*, n:
. (L
n) = if n=
0
nil else L @ (L
n-1) fi
By:
UnivCD
Generated subgoal:
1
1.
Alph:
Type
2.
L:
Alph*
3.
n:
(L
n) = if n=
0
nil else L @ (L
n-1) fi
About:
(L
n) = if n=
0
nil else L @ (Ln-1) fi 
Alph:Type, L:Alph*, n:. (Ln) = if n=0 nil else L @ (Ln-1) fi (Ln) = if n=0 nil else L @ (Ln-1) fi
