Theorem Polynomial.int_natDegree

Modification history