Properties of standard Borel spaces

instance instMeasurableEqOfStandardBorelSpace_leanBandits {Ω : Type u_1} {mΩ : MeasurableSpace Ω} [StandardBorelSpace Ω] : MeasurableEq Ω