Theorem multiplicity.exists_eq_pow_mul_and_not_dvd

Modification history