Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-08-16 07:51
07a0ae91
View on Github →
feat(Measure/Restrict): add
QuasiMeasurePreserving.restrict
(
#15661
)
Estimated changes
Modified
Mathlib/MeasureTheory/Measure/Restrict.lean
added
theorem
MeasureTheory.Measure.QuasiMeasurePreserving.restrict