PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
factorial
wf
1
2
2
2
1
1.
n:
2.
0 < n
3.
(n-1)!
4.
n = 0
5.
(n-1)!
0
(n-1)!
n
(n-1)!
By:
Inst Thm*
n:
. n
[(n-1)! ]
Generated subgoals:
None
About:
n = 0
0
(n-1)! n
(n-1)! 
n:. n [(n-1)! ]
