Theorem MvPolynomial.mul_esymm_eq_sum

Modification history