Commit 2023-06-29 08:26 acd52975

View on Github →

feat: add instances for MeasurableSpace.CountablyGenerated (#5216)

Estimated changes

Modified Mathlib/MeasureTheory/MeasurableSpace.lean

added theorem MeasurableSpace.CountablyGenerated.comap

added theorem MeasurableSpace.CountablyGenerated.sup

Modified Mathlib/MeasureTheory/Measure/OuterMeasure.lean