Mathlib v3 is deprecated. Go to Mathlib v4

Theorem metric.cthickening_eq_bUnion_closed_ball

Modification history

2022-12-14 17:11
src/topology/metric_space/hausdorff_distance.lean
feat(measure_theory/covering/liminf_limsup): add lemma `blimsup_cthickening_mul_ae_eq` (#17803)
Added metric.cthickening_eq_bUnion_closed_ballView on Github →