Theorem Nat.Prime.emultiplicity_pow_self

Modification history