Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-17 21:38 f45df472

View on Github →

feat(measure_theory/hausdorff_measure): dimH_{s,b,}Union, dimH_union (#8351)

Estimated changes

Modified src/measure_theory/hausdorff_measure.lean

added theorem measure_theory.dimH_Union

added theorem measure_theory.dimH_bUnion

added theorem measure_theory.dimH_mono

added theorem measure_theory.dimH_sUnion

added theorem measure_theory.dimH_union

added theorem measure_theory.le_dimH_of_hausdorff_measure_eq_top