Theorem MeasureTheory.Measure.le_count_apply
Modification history
2023-07-25 06:02
Mathlib/MeasureTheory/Measure/Count.lean
chore(MeasureSpace): move `dirac` and `count` to new files (#6116)
Modified MeasureTheory.Measure.le_count_applyView on Github →2023-07-02 10:21
Mathlib/MeasureTheory/Measure/MeasureSpace.lean
fix: `∑'` precedence (#5615) …
Modified MeasureTheory.Measure.le_count_applyView on Github →