Def EventuallyMeasurableSpace

Modification history

2024-08-19 11:42

Mathlib/MeasureTheory/Constructions/EventuallyMeasurable.lean

chore: backports from byAsSorry (#15759) …

Modified EventuallyMeasurableSpace View on Github →

2024-06-08 17:32

Mathlib/MeasureTheory/Constructions/EventuallyMeasurable.lean

feat(MeasureTheory): generalize NullMeasurable to measurability mod a sigma filter. (#10856) …

Added EventuallyMeasurableSpace View on Github →