Theorem Polynomial.IsPrimitive.ne_zero

Modification history