Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-28 04:50 bcaeb57a

View on Github →

fix(data/equiv/encodable): turn unique.encodable into a def (#10006)

Estimated changes

added def unique.encodable