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

Commit

4 years ago

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

Author

urkud

urkud

Parents

Loading