Theorem measure_theory.outer_measure.trim_zero
Modification history
2020-08-02 04:10
src/measure_theory/measure_space.lean
feat(measure_theory): cleanup and generalize measure' (#3648) …
Modified measure_theory.outer_measure.trim_zeroView on Github →