mathlib3
68123285 - feat(data/countable): add `countable` typeclass (#15280)

Commit

3 years ago

feat(data/countable): add `countable` typeclass (#15280) Also add a few new operations on `equiv`s.

Author

urkud

Parents