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