∀ {ι : Type u_1} [inst : Fintype ι] (X : ι → Type u_4) [inst_1 : Unique ι]
  [inst_2 : (i : ι) → MeasureTheory.MeasureSpace (X i)],
  MeasureTheory.MeasurePreserving (⇑(MeasurableEquiv.piUnique X)) MeasureTheory.volume MeasureTheory.volume