Theorem Polynomial.nontrivial_iff

Modification history