Theorem Polynomial.nonempty_support_iff

Modification history