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