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