Theorem MeasurableSpace.CountablyGenerated.comap

Modification history

2024-03-13 15:40
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
feat: countable filtration in a countably generated measurable space (#10945) …
Modified MeasurableSpace.CountablyGenerated.comapView on Github →
2023-06-29 08:26
Mathlib/MeasureTheory/MeasurableSpace.lean
feat: add instances for `MeasurableSpace.CountablyGenerated` (#5216)
Added MeasurableSpace.CountablyGenerated.comapView on Github →