Theorem Polynomial.modByMonic_X_sub_C_eq_C_eval

Modification history