Theorem Vitali.exists_disjoint_subfamily_covering_enlargement_closedBall

Modification history

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