Theorem lt_biSup_iff

Modification history

2025-06-11 15:42
Mathlib/Order/CompleteLattice/Defs.lean
feat(Order/CompleteLattice/Defs): add `lt_biSup_iff` (#25648) …
Added lt_biSup_iffView on Github →