Theorem Polynomial.eval_natCast_mul

Modification history