Theorem Polynomial.natDegree_map

Modification history