Theorem Polynomial.isNilpotent_X_mul_iff

Modification history