mathlib3

3d5c4a7a - feat(measure_theory/measure/hausdorff): invariance instances (#19145)

feat(measure_theory/measure/hausdorff): invariance instances (#19145) These are a trivial consequence of the existing lemmas. The additive cases here are the ones that actually are useful, and follow from `normed_add_torsor.to_has_isometric_vadd`.