Theorem MvPolynomial.mapAlgEquiv_trans

Modification history