Theorem Polynomial.Sequence.ne_zero

Modification history