Theorem Vitali.exists_disjoint_subfamily_covering_enlargment

Modification history

2024-12-26 07:24
Mathlib/MeasureTheory/Covering/Vitali.lean
docs: fix typos across repository (#20239) …
Deleted Vitali.exists_disjoint_subfamily_covering_enlargmentView on Github →
2023-05-22 03:13
Mathlib/MeasureTheory/Covering/Vitali.lean
feat: port MeasureTheory.Covering.Vitali (#4178)
Added Vitali.exists_disjoint_subfamily_covering_enlargmentView on Github →