Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-01-25 18:48
4591fe14
View on Github →
chore: namespace
comap_swap
(
#21061
) From PFR
Estimated changes
Modified
Mathlib/MeasureTheory/Measure/Comap.lean
added
theorem
MeasureTheory.Measure.comap_swap
deleted
theorem
comap_swap