Theorem MvPolynomial.coeff_eval_eq_eval_coeff

Modification history