Theorem MvPolynomial.rename_leftInverse

Modification history