Theorem Polynomial.natCast_mul_comp

Modification history