Theorem Polynomial.Monic.ne_zero_of_C

Modification history