Theorem antitone_lt

Modification history

2024-11-26 05:23

Mathlib/Order/BoundedOrder/Basic.lean

chore: split Order.BoundedOrder (#19488)

Modified antitone_lt View on Github →

2022-11-28 15:54

Mathlib/Order/BoundedOrder.lean

feat: port Order.BoundedOrder (#697) …

Added antitone_lt View on Github →