Theorem Polynomial.isUnit_of_coeff_isUnit_isNilpotent

Modification history