Theorem csInf_lt_iff

Modification history

2025-03-29 19:12
Mathlib/Order/ConditionallyCompleteLattice/Basic.lean
chore: golf `lt_csSup_iff` (#23434) …
Modified csInf_lt_iffView on Github →
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 →