Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-03-12 19:24
4bf038e2
View on Github →
chore(MeasureTheory): protect
Measure.sub_self
(
#36551
)
Estimated changes
Modified
Mathlib/MeasureTheory/Measure/Sub.lean
deleted
theorem
MeasureTheory.Measure.sub_self
deleted
theorem
MeasureTheory.Measure.zero_sub