Theorem measurable_symmDiff

Modification history

2026-10-04 13:15

Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean

feat: measurability of set operations (#44274) …

Added measurable_symmDiff View on Github →