Theorem MvPolynomial.renameEquiv_trans

Modification history