Theorem Polynomial.natCast_mul

Modification history