Theorem Polynomial.isNilpotent_pow_X_mul_C_of_isNilpotent

Modification history