== {i:
| 0
i } 
Type
== if x=0
1 else x
(x-2)! fi (recursive)
x:{x:| (x rem 2) = 0 }. x! | Some definitions of interest. | |
| nat | == {i:| 0i } |
| Type | |
| sfa_doc_factorial2 | == if x=0 1 else x(x-2)! fi (recursive) |
| x:{x:| (x rem 2) = 0 }. x! |
About:
 |  |  |  |  |  |  |
 |  |  |  |  |  |