Theorem Polynomial.isNilpotent_aeval_sub_of_isNilpotent_sub

Modification history