Theorem Polynomial.Monic.natDegree_map

Modification history