Theorem Polynomial.degree_quadratic_lt_degree_C_mul_X_cb

Modification history