Commit 2025-11-22 06:05 19523963

View on Github →

feat(MeasureTheory): setOf is measurable (#31911)

Estimated changes

added theorem measurable_setOf