Theorem MvPolynomial.iterToSum_C_X

Modification history