Theorem MvPolynomial.iterToSum_X

Modification history