Theorem csInf_lt_iff

Modification history

2026-08-10 08:17
Mathlib/Order/ConditionallyCompleteLattice/Basic.lean
chore(order/ConditionallyCompleteLattice): use `to_dual` more (#41558) …
Deleted csInf_lt_iffView on Github →
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 →