Theorem Nat.Prime.pow_dvd_iff_le_factorization

Modification history