Theorem Polynomial.mod_x_sub_c_eq_c_eval

Modification history