Theorem MeasureTheory.spanningSets_mono

Modification history

2025-04-04 03:53

Mathlib/MeasureTheory/Measure/Typeclasses.lean

chore: split `MeasureTheory.Measure.Typeclasses` (#23649) …

Modified MeasureTheory.spanningSets_mono View on Github →

2024-10-16 14:29

Mathlib/MeasureTheory/Measure/Typeclasses.lean

chore(MeasureTheory): let `gcongr` know about `spanningSets` (#17824) …

Added MeasureTheory.spanningSets_mono View on Github →