Theorem isCofinal_setOf_imp_lt

Modification history

2024-12-07 13:24
Mathlib/Order/Cofinal.lean
feat(Order/Cofinal): more lemmas on cofinal sets (#19680)
Added isCofinal_setOf_imp_ltView on Github →