mathlib
7236938c - feat(measure_theory/measure_space): add `count_apply_infinite` (#3592)

Commit

5 years ago

feat(measure_theory/measure_space): add `count_apply_infinite` (#3592) Also add some supporting lemmas about `set.infinite`.

Author

urkud

Parents