Theorem biInf_le_eq_inf

Modification history

2026-03-20 14:17
Mathlib/Order/CompleteLattice/Basic.lean
chore: use @[to_dual] extensively in CompleteLattice (#35209) …
Deleted biInf_le_eq_infView on Github →
2025-02-15 11:39
Mathlib/Order/CompleteLattice.lean
feat: add Set.bi{Union,Inter}_{le,ge} (#21884) …
Added biInf_le_eq_infView on Github →