Theorem MeasureTheory.measurable_restrict_cylinderEvents

Modification history

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