Theorem IsLeast.lt_iff

Modification history

2026-01-16 12:21

Mathlib/Order/Bounds/Basic.lean

feat(Order/Bounds/Basic): use `to_dual` - part 1 (#33760) …

Deleted IsLeast.lt_iff View on Github →

2023-02-06 14:53

Mathlib/Order/Bounds/Basic.lean

feat: port Topology.Algebra.Order.Compact (#2089)

Added IsLeast.lt_iff View on Github →