Theorem Polynomial.coeff_isUnit_isNilpotent_of_isUnit

Modification history