Theorem MvPolynomial.rename_eq

Modification history