Theorem Nat.Prime.multiplicity_choose_prime_pow

Modification history