Theorem Nat.Prime.multiplicity_factorial_mul

Modification history