Theorem biInf_le_biSup

Modification history

2025-01-10 13:20
Mathlib/Order/CompleteLattice.lean
feat: `⨅ i, f i ≤ ⨆ i, f i` (#20573) …
Added biInf_le_biSupView on Github →