Theorem MvPolynomial.mapAlgEquiv_symm

Modification history