Theorem Nat.ascFactorial_eq_prod_range

Modification history