Theorem Polynomial.isNilpotent_reverse_iff

Modification history