Def OrderIso.setCongr

Modification history

2026-08-28 20:31

Mathlib/Order/Hom/Set.lean

chore(Logic/Equiv): swap the names of `Equiv.setCongr` and `Equiv.Set.congr` (#43005) …

Deleted OrderIso.setCongr View on Github →

2022-12-15 21:39

Mathlib/Order/Hom/Set.lean

feat: port Order.Hom.Set (#1059) …

Added OrderIso.setCongr View on Github →