∀ (ι : Type u_1) (X : Type u_2) [inst : EMetricSpace X] [inst_1 : MeasurableSpace X] [inst_2 : BorelSpace X]
  [inst_3 : Unique ι] (d : ℝ),
  MeasureTheory.MeasurePreserving (⇑(MeasurableEquiv.funUnique ι X)) (MeasureTheory.Measure.hausdorffMeasure d)
    (MeasureTheory.Measure.hausdorffMeasure d)