Theorem lowerBounds_mono_of_iscofinalfor

Modification history

2025-05-07 09:33
Mathlib/Order/Bounds/Basic.lean
feat(Order): directed products and upper bounds (#21493) …
Deleted lowerBounds_mono_of_iscofinalforView on Github →
2025-05-02 21:42
Mathlib/Order/Bounds/Basic.lean
feat: cofinal sets (#24290) …
Added lowerBounds_mono_of_iscofinalforView on Github →