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_relView on Github →