Theorem MvPolynomial.eval₂_rename_prod_mk

Modification history