mathlib
d4805efb - feat(logic/equiv/list): add `countable` instances (#15960)

Commit

3 years ago

feat(logic/equiv/list): add `countable` instances (#15960)

Author

urkud

urkud

Parents

Loading