Theorem Nat.ascFactorial_eq_div

Modification history