# Commit 2017-09-21 13:22 5bb145ef

View on Github →feat(topology/lebesgue_measure): add Lebesgue outer measure; show that the lower half open interval is measurable

Mathlib v3 is deprecated. Go to Mathlib v4

feat(topology/lebesgue_measure): add Lebesgue outer measure; show that the lower half open interval is measurable