Theorem MeasureTheory.Measure.restrict_mono_measure

Modification history

2024-09-01 12:32
Mathlib/MeasureTheory/Measure/Restrict.lean
chore(Measure): add `gcongr` lemmas (#16379)
Added MeasureTheory.Measure.restrict_mono_measureView on Github →