Theorem DirectedOn.mono

Modification history

2023-12-07 22:44

Mathlib/Order/Directed.lean

feat: Scott topology on a preorder (#2508) …

Modified DirectedOn.mono View on Github →

2022-12-13 10:52

Mathlib/Order/Directed.lean

feat port: Order.Directed (#963) …

Added DirectedOn.mono View on Github →