Theorem Polynomial.le_rootMultiplicity_mul

Modification history