Theorem Nat.Prime.emultiplicity_factorial_mul_succ

Modification history