Theorem Polynomial.natDegree_map_lt'

Modification history