Theorem Polynomial.nat_cast_mul_comp

Modification history