Theorem Polynomial.Monic.coeff_natDegree

Modification history