Theorem MvPolynomial.exists_finset_rename

Modification history