Theorem Polynomial.C_eq_nat_cast

Modification history