Theorem monotone_lt

Modification history

2024-11-26 05:23

Mathlib/Order/BoundedOrder/Basic.lean

chore: split Order.BoundedOrder (#19488)

Modified monotone_lt View on Github →

2023-12-08 10:23

Mathlib/Order/BoundedOrder.lean

chore: Replace `(· op ·) a` by `(a op ·)` (#8843) …

Modified monotone_lt View on Github →

2022-11-28 15:54

Mathlib/Order/BoundedOrder.lean

feat: port Order.BoundedOrder (#697) …

Added monotone_lt View on Github →