Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-11-27 19:21
139686fd
View on Github →
feat(Measure/../NoAtoms): add
Measure.ae_ne
(
#32182
)
Estimated changes
Modified
Mathlib/MeasureTheory/Measure/Typeclasses/NoAtoms.lean
added
theorem
MeasureTheory.Measure.ae_ne