Theorem Polynomial.newtonMap_apply_of_isUnit

Modification history