Theorem Polynomial.isUnit_aeval_of_isUnit_aeval_of_isNilpotent_sub

Modification history