Theorem iSup_inf_le_iSup_inf

Modification history

2026-06-02 12:39
Mathlib/Order/CompleteLattice/Lemmas.lean
chore(Order/CompleteLattice/Lemmas): use `to_dual` (#37752) …
Deleted iSup_inf_le_iSup_infView on Github →
2026-02-10 20:11
Mathlib/Order/CompleteLattice/Lemmas.lean
feat: eight small complete lattices lemmas (#34812)
Added iSup_inf_le_iSup_infView on Github →