Theorem MeasureTheory.measurable_cylinderEvent_apply

Modification history

2024-10-17 03:45
Mathlib/MeasureTheory/Constructions/Cylinders.lean
feat: sigma-algebra of cylinder events (#17833) …
Added MeasureTheory.measurable_cylinderEvent_applyView on Github →