mathlib3
8da80f4e - feat(data/set/countable): add `iff` versions of some lemmas (#15671)

Commit

3 years ago

feat(data/set/countable): add `iff` versions of some lemmas (#15671)

Author

urkud

urkud

Parents

Loading