Theorem Nat.Prime.multiplicity_factorial_mul_succ

Modification history