Def OrderHom.equivRelHom

Modification history

2026-06-25 15:32

Mathlib/Order/Hom/Basic.lean

feat(Order/Hom/Basic): equivalences of `Order{Hom/Embedding/Iso}` (#38667) …

Added OrderHom.equivRelHom View on Github →