PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
fun
enumer
1
1
2
1
1
1
1
1
2
1.
n:
2.
a1:
0
n
3.
a2:
0
n
0 = 0
(n
0)
Prop
By:
Auto
Generated subgoals:
1
0 < (n
0)
2
0 < (n
0)
About:
0 < (n
0) 0 < (n0)
0
n0n 0 = 0 
(n0) Prop 0 < (n0) 0 < (n0)
