Theorem MvPolynomial.sumToIter_Xr

Modification history