Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-02-13 21:54
38bee881
View on Github →
chore(Order/RelClasses): add missing instances (
#21808
) ... about
Order.Preimage
Estimated changes
Modified
Mathlib/Order/RelClasses.lean
added
theorem
Order.Preimage.isAntisymm