Def MvPolynomial.mvPolynomialEquivMvPolynomial

Modification history

2023-03-24 16:57

Mathlib/Data/MvPolynomial/Equiv.lean

feat: port Data.MvPolynomial.Equiv (#2997)

Added MvPolynomial.mvPolynomialEquivMvPolynomial View on Github →