mathlib
8f424fca - chore(measure_theory/pi): a few more lemmas (#5604)

Commit

5 years ago

chore(measure_theory/pi): a few more lemmas (#5604) Also prove that a locally finite measure in a `second_countable_topology` is `sigma_finite`.

Author

urkud

Parents