Theorem Polynomial.IsMonicOfDegree.leadingCoeff_eq

Modification history