Theorem MvPolynomial.rename_surjective

Modification history