Theorem isGLB_empty

Modification history

2023-01-25 10:48

Mathlib/Order/Bounds/Basic.lean

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

Modified isGLB_empty View on Github →

2022-12-15 21:06

Mathlib/Order/Bounds/Basic.lean

feat: port Order.Bounds.Basic (#1040) …

Added isGLB_empty View on Github →