Theorem Polynomial.isNilpotent_iterate_newtonMap_sub_of_isNilpotent

Modification history