Theorem Nat.factorial_dvd_descFactorial

Modification history