Theorem measurable_sdiff

Modification history

2026-10-04 13:15

Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean

feat: measurability of set operations (#44274) …

Added measurable_sdiff View on Github →