mathlib

2b435875 - feat(measure_theory/hausdorff_measure): Hausdorff measure and volume coincide in pi types (#8554)