Theorem Nat.succ_descFactorial

Modification history