Theorem MeasureTheory.measure_zero_iff_ae_notMem

Modification history

2025-08-27 07:58
Mathlib/MeasureTheory/OuterMeasure/AE.lean
chore: rename MeasureTheory.measure_zero_iff_ae_notMem (#29003)
Deleted MeasureTheory.measure_zero_iff_ae_notMemView on Github →
2025-05-25 12:30
Mathlib/MeasureTheory/OuterMeasure/AE.lean
chore(*): not_mem/nmem -> notMem (#25159)
Added MeasureTheory.measure_zero_iff_ae_notMemView on Github →