Theorem MeasurableSpace.measurableSet_generateFrom_memPartition_iff

Modification history

2024-03-20 15:45
Mathlib/MeasureTheory/MeasurableSpace/CountablyGenerated.lean
feat: density of a finite kernel wrt another kernel (#10948) …
Added MeasurableSpace.measurableSet_generateFrom_memPartition_iffView on Github →