Theorem MvPolynomial.sumToIter_C

Modification history