Theorem MeasureTheory.inter_cylinder_same

Modification history

2024-02-04 23:05
Mathlib/MeasureTheory/Constructions/Cylinders.lean
chore(MeasureTheory/Cylinders): drop unneeded `DecidableEq` assumptions (#10254)
Modified MeasureTheory.inter_cylinder_sameView on Github →
2023-12-05 16:55
Mathlib/MeasureTheory/Constructions/Cylinders.lean
feat: pi-systems generating the product sigma algebra (#7566) …
Added MeasureTheory.inter_cylinder_sameView on Github →