Theorem Polynomial.newtonMap_apply

Modification history