Def Subrel

Modification history

2025-01-15 15:41

Mathlib/Order/RelIso/Set.lean

refactor: redefine `Subrel` in terms of `α → Prop` instead of `Set α` (#20475) …

Modified Subrel View on Github →

2022-12-14 09:34

Mathlib/Order/RelIso/Set.lean

feat port: Order.RelIso.Set (#1005) …

Added Subrel View on Github →