Def MeasureTheory.measurableCylinders.set

Modification history

2026-07-24 07:15
Mathlib/MeasureTheory/Constructions/Cylinders.lean
chore: add missing `noncomputable` (#41446) …
Deleted MeasureTheory.measurableCylinders.setView on Github →
2023-12-05 16:55
Mathlib/MeasureTheory/Constructions/Cylinders.lean
feat: pi-systems generating the product sigma algebra (#7566) …
Added MeasureTheory.measurableCylinders.setView on Github →