Theorem MvPolynomial.exists_finset_rename₂

Modification history