This module additional MeasurableSpace instances missing from mathlib.

@[instance_reducible]

instance MeasureTheory.instMeasurableSpacePEmpty_quasiBorelSpaces : MeasurableSpace PEmpty.{u_1 + 1}

Equations

• MeasureTheory.instMeasurableSpacePEmpty_quasiBorelSpaces = ⊤