Theorem Nat.Prime.factors_pow

Modification history