Theorem Polynomial.Monic.natDegree_pow

Modification history