Theorem MvPolynomial.natDegree_finSuccEquiv

Modification history