Theorem MeasureTheory.Measure.snd_mono

Modification history

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