Theorem MeasureTheory.Measure.restrict_mono_set

Modification history

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