Theorem Polynomial.degree_map

Modification history