Theorem MvPolynomial.rename_eval₂

Modification history