Theorem Polynomial.degreeLT_eq_span_X_pow

Modification history