Theorem MvPolynomial.mapEquiv_refl

Modification history