Theorem Nat.descFactorial_zero

Modification history