Theorem Polynomial.C_eq_int_cast

Modification history