Theorem Measurable.symmDiff_finset

Modification history

2026-10-04 13:15
Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean
feat: measurability of set operations (#44274) …
Added Measurable.symmDiff_finsetView on Github →