Theorem Polynomial.degreeLE_eq_span_X_pow

Modification history