∀ {X : Type u_2} [inst : EMetricSpace X] [inst_1 : MeasurableSpace X] [inst_2 : BorelSpace X] {d : ℝ}
  [inst_3 : AddGroup X] [IsIsometricVAdd X X], (MeasureTheory.Measure.hausdorffMeasure d).IsAddLeftInvariant