Theorem Polynomial.natDegree_hasseDeriv

Modification history