Theorem Associates.eq_pow_find_of_dvd_irreducible_pow

Modification history