Theorem iInf_sup_le_iInf_sup

Modification history

2026-02-10 20:11
Mathlib/Order/CompleteLattice/Lemmas.lean
feat: eight small complete lattices lemmas (#34812)
Added iInf_sup_le_iInf_supView on Github →