Theorem MeasureTheory.measurable_uniqueElim_cylinderEvents

Modification history

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