Theorem MeasureTheory.iUnion_spanningSets

Modification history

2024-05-31 00:19
Mathlib/MeasureTheory/Measure/Typeclasses.lean
chore: fix formatting of many misplaced "by"s (#13204)
Modified MeasureTheory.iUnion_spanningSetsView on Github →
2023-11-13 16:29
Mathlib/MeasureTheory/Measure/MeasureSpace.lean
chore: split `MeasureSpace.lean` into 3 files (#8389) …
Modified MeasureTheory.iUnion_spanningSetsView on Github →
2023-06-30 23:14
Mathlib/MeasureTheory/Measure/MeasureSpace.lean
fix: precedences of `⨆⋃⋂⨅` (#5614)
Modified MeasureTheory.iUnion_spanningSetsView on Github →
2023-05-14 07:05
Mathlib/MeasureTheory/Measure/MeasureSpace.lean
chore: Rename to `sSup`/`iSup` (#3938) …
Added MeasureTheory.iUnion_spanningSetsView on Github →