Theorem MvPolynomial.map_comp_rename

Modification history