Theorem MeasurableSet.setOf_finite

Modification history

2025-04-03 10:57
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
chore: split `MeasureTheory.MeasurableSpace.Basic` (#23523) …
Modified MeasurableSet.setOf_finiteView on Github →
2024-08-30 13:02
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
feat(Set,MeasurableSpace): lemmas about `{s | s.Finite}` (#16195) …
Added MeasurableSet.setOf_finiteView on Github →