Theorem min_eq_bot

Modification history

2024-11-26 05:23

Mathlib/Order/BoundedOrder/Basic.lean

chore: split Order.BoundedOrder (#19488)

Modified min_eq_bot View on Github →

2022-11-28 15:54

Mathlib/Order/BoundedOrder.lean

feat: port Order.BoundedOrder (#697) …

Added min_eq_bot View on Github →