Theorem Polynomial.Monic.mul_left_ne_zero

Modification history