PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
factorial
wf
1
2
2
2
1.
n:
2.
0 < n
3.
(n-1)!
4.
n = 0
5.
(n-1)!
0
(n-1)!
n
0
n
(n-1)!
By:
Inst Thm*
a,b:
. a
b = b
a [n;(n-1)! ]
Generated subgoals:
1
(n-1)!
2
6.
n
(n-1)! = (n-1)!
n
0
n
(n-1)!
About:
(n-1)! 
(n-1)! = (n-1)! n 0
n(n-1)! 
n = 00(n-1)! n 0n(n-1)! 
a,b:. ab = ba [n;(n-1)! ] (n-1)! (n-1)! = (n-1)! n 0n(n-1)! 
