Theorem isGLB_empty_iff

Modification history

2026-02-13 04:47

Mathlib/Order/Bounds/Basic.lean

chore: use @[to_dual] in Bounds.Basic (#35208) …

Modified isGLB_empty_iff View on Github →

2023-01-25 10:48

Mathlib/Order/Bounds/Basic.lean

Feat: add `isLeast_univ_iff` etc (#1549) …

Added isGLB_empty_iff View on Github →