Theorem Polynomial.ne_zero_of_ne_zero_of_monic

Modification history