Theorem MvPolynomial.mapAlgEquiv_refl

Modification history