mathlib
611bc865 - feat(measure_theory/borel_space): locally finite measure is sigma finite (#5634)

Commit

5 years ago

feat(measure_theory/borel_space): locally finite measure is sigma finite (#5634) I forgot to add this to #5604

Author

urkud

Parents