Theorem Polynomial.C_eq_natCast

Modification history