Theorem MeasureTheory.measure_if

Modification history

2024-07-31 19:18

Mathlib/MeasureTheory/Measure/MeasureSpace.lean

Chore: Remove some uses of `open Classical` (#15371) …

Modified MeasureTheory.measure_if View on Github →

2023-05-09 05:50

Mathlib/MeasureTheory/Measure/MeasureSpace.lean

feat: port MeasureTheory.Measure.MeasureSpace (#3324) …

Added MeasureTheory.measure_if View on Github →