Theorem lt_csSup_iff'

Modification history

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