Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-08-08 15:42
2eea5591
View on Github →
feat(RelSeries): reverse_reverse (
#15601
) from the Carleson project.
Estimated changes
Modified
Mathlib/Order/RelSeries.lean
added
theorem
RelSeries.reverse_reverse