Theorem Nat.Prime.factorization_pow

Modification history