Theorem Polynomial.le_trailingDegree_X

Modification history