Theorem MeasureTheory.measurable_update_cylinderEvents'

Modification history

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