Theorem measurableSet_preimage_down

Modification history

2023-12-19 12:55
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
feat: `MeasurableSpace` instance for `ULift` (#8967)
Added measurableSet_preimage_downView on Github →