PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
factorial
wf
1
1.
n:
(n)!
By:
NatInd 1
Generated subgoals:
1
(0)!
2
1.
n:
2.
0 < n
3.
(n-1)!
(n)!
About:
(0)! 
(n)! (n)! (0)! (n)! 
