Theorem MeasureTheory.cofinite_eq_bot

Modification history

2025-11-24 15:41
Mathlib/MeasureTheory/Measure/Typeclasses/Finite.lean
feat(MeasureSpace): add `cofinite_le_ae` (#31962) …
Added MeasureTheory.cofinite_eq_botView on Github →