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