Commit 2023-06-02 14:50 3d5c4a7a
View on Github →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.