Theorem Polynomial.newtonMap_apply_of_not_isUnit

Modification history