mathlib
5227f539 - chore(data/equiv/encodable): a `[unique]` type is encodable (#9970)

Commit

4 years ago

chore(data/equiv/encodable): a `[unique]` type is encodable (#9970)

Author

urkud

urkud

Parents

Loading