Theorem Nat.Prime.multiplicity_pow_self

Modification history