Theorem Polynomial.degree_map_le

Modification history