Theorem Polynomial.exists_eq_pow_rootMultiplicity_mul_and_not_dvd

Modification history