Theorem MeasureTheory.mem_measurableCylinders_of_mem_closedCompactCylinders

Modification history

2025-03-11 16:38
Mathlib/MeasureTheory/Constructions/ClosedCompactCylinders.lean
feat(MeasureTheory): cylinders with closed compact bases (#22688) …
Added MeasureTheory.mem_measurableCylinders_of_mem_closedCompactCylindersView on Github →