Theorem measurableSet_preimage_up

Modification history

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