Theorem Polynomial.degree_smul_of_isRightRegular_leadingCoeff

Modification history