Theorem Polynomial.isNilpotent_mul_X_iff

Modification history