Theorem MvPolynomial.rename_prod_mk_eval₂

Modification history