Theorem MvPolynomial.polynomial_eval_eval₂

Modification history