Theorem MeasurableEmbedding.borelSpace

Modification history

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