mathlib3
2d2929f8 - feat(measure_theory): define Hausdorff measure and Hausdorff dimension (#6710)

Commit

4 years ago

feat(measure_theory): define Hausdorff measure and Hausdorff dimension (#6710)

Author

urkud

urkud

Parents

Loading