Theorem csInf_lt_iff

Modification history

2024-10-22 11:41
Mathlib/Order/ConditionallyCompleteLattice/Basic.lean
feat(Order/ConditionallyCompleteLattice): `lt_ciSup_iff` and variants (#17965)
Added csInf_lt_iffView on Github →