Theorem directed_id

Modification history

2023-10-25 14:17

Mathlib/Order/Directed.lean

feat: generalize some lemmas to directed types (#7852) …

Modified directed_id View on Github →

2022-12-13 10:52

Mathlib/Order/Directed.lean

feat port: Order.Directed (#963) …

Added directed_id View on Github →