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

Commit

4 years ago

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

Author

urkud

urkud

Parents

Loading