Theorem Polynomial.mul_x_add_nat_cast_comp

Modification history