Theorem Nat.Icc_factorization_eq_pow_dvd

Modification history