Theorem Polynomial.degreeLE_mono

Modification history