Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsChain.image_of_map_rel
Modification history
2026-03-11 15:48
Mathlib/Order/Preorder/Chain.lean
chore: use `RelHomClass` in `IsChain.image` (#34760)
Added
IsChain.image_of_map_rel
View on Github →