Theorem Polynomial.map_natDegree_eq_sub

Modification history