Theorem Vitali.exists_disjoint_subfamily_covering_enlargement

Modification history

2024-12-26 07:24
Mathlib/MeasureTheory/Covering/Vitali.lean
docs: fix typos across repository (#20239) …
Added Vitali.exists_disjoint_subfamily_covering_enlargementView on Github →