Mathlib v3 is deprecated. Go to Mathlib v4

Def unique.encodable

Modification history

2021-10-28 04:50

src/data/equiv/encodable/basic.lean

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

Added unique.encodable View on Github →