Theorem MvPolynomial.rename_comp_rename

Modification history