Theorem Polynomial.degree_map_lt

Modification history