mathlib
70c48638 - feat(data/finset/locally_finite): more on `filter (< c)` (#16260)

Commit

3 years ago

feat(data/finset/locally_finite): more on `filter (< c)` (#16260)

Author

gebner

gebner

Parents

Loading