Theorem MvPolynomial.map_rename

Modification history