Theorem measurable_inter

Modification history

2026-10-04 13:15

Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean

feat: measurability of set operations (#44274) …

Added measurable_inter View on Github →