Theorem measure_theory.measure.regular.outer_regular_eq
Modification history
2021-05-26 21:50
src/measure_theory/regular.lean
feat(measure_theory/regular): more material on regular measures (#7680) …
Deleted measure_theory.measure.regular.outer_regular_eqView on Github →2021-05-16 18:58
src/measure_theory/borel_space.lean
refactor(measure_theory/haar_measure): move general material to content.lean, make content a structure (#7615) …
Modified measure_theory.measure.regular.outer_regular_eqView on Github →