Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-09-12 18:54
e6bff577
View on Github →
feat(Ergodic/Conservative): add
Conservative.measureRestrict
(
#16126
)
Estimated changes
Modified
Mathlib/Dynamics/Ergodic/Conservative.lean
added
theorem
MeasureTheory.Conservative.measureRestrict
added
theorem
MeasureTheory.Conservative.of_absolutelyContinuous