{α : Type u_4} →
  {β : Type u_6} →
    [inst : MeasurableSpace α] →
      [inst_1 : MeasurableSpace β] →
        [StandardBorelSpace α] → [StandardBorelSpace β] → ¬Countable α → ¬Countable β → α ≃ᵐ β