Theorem measurable_down

Modification history

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