Theorem antitone_le

Modification history

2024-11-26 05:23

Mathlib/Order/BoundedOrder/Basic.lean

chore: split Order.BoundedOrder (#19488)

Modified antitone_le View on Github →

2022-11-28 15:54

Mathlib/Order/BoundedOrder.lean

feat: port Order.BoundedOrder (#697) …

Added antitone_le View on Github →