Theorem MvPolynomial.coeff_rename_mapDomain

Modification history