Theorem MvPolynomial.psum_eq_mul_esymm_sub_sum

Modification history