Theorem MeasureTheory.pos_mono

Modification history

2026-09-28 14:01
Mathlib/MeasureTheory/OuterMeasure/Basic.lean
chore: golf proofs with `grw`/`gcongr`/`gconvert` (#44245)
Modified MeasureTheory.pos_monoView on Github →
2025-08-08 15:38
Mathlib/MeasureTheory/OuterMeasure/Basic.lean
feat(MeasureTheory): add def `support` of a measure, and related API (#27680) …
Added MeasureTheory.pos_monoView on Github →