Theorem MvPolynomial.mapEquiv_trans

Modification history