Theorem Polynomial.isNilpotent_C_mul_pow_X_of_isNilpotent

Modification history