Def MeasureTheory.closedCompactCylinders.set

Modification history

2025-03-11 16:38

Mathlib/MeasureTheory/Constructions/ClosedCompactCylinders.lean

feat(MeasureTheory): cylinders with closed compact bases (#22688) …

Added MeasureTheory.closedCompactCylinders.set View on Github →