Commit 2025-11-28 16:39 9c9edd0c

View on Github →

feat(MeasureTheory): subsetness is measurable (#32096)

Estimated changes

modified theorem MeasurableSet.sep_finite
modified theorem MeasurableSet.sep_infinite
modified theorem MeasurableSet.setOf_finite