Theorem Polynomial.natDegree_map_le

Modification history