Theorem Polynomial.rootMultiplicity_eq_natTrailingDegree

Modification history