Theorem Polynomial.monomial_natDegree_leadingCoeff_eq_self

Modification history