Theorem Polynomial.one_lt_rootMultiplicity_iff_isRoot_gcd

Modification history