Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-08 13:27 5a01549f

View on Github →

lint(multiset/pi): remove unused instance (#4526) Removes an unused instance from multiset/pi

Estimated changes