Theorem Polynomial.isNilpotent_monomial_iff

Modification history