Theorem Nat.Prime.emultiplicity_choose_prime_pow_add_emultiplicity

Modification history