Theorem biInf_lt_iff

Modification history

2026-03-20 14:17
Mathlib/Order/CompleteLattice/Defs.lean
chore: use @[to_dual] extensively in CompleteLattice (#35209) …
Deleted biInf_lt_iffView on Github →
2025-06-11 15:42
Mathlib/Order/CompleteLattice/Defs.lean
feat(Order/CompleteLattice/Defs): add `lt_biSup_iff` (#25648) …
Added biInf_lt_iffView on Github →