Theorem inf_sup_le

Modification history

2026-09-30 00:55
Mathlib/Order/Defs/Lattice.lean
chore(Order): move the definition of lattices to a new file (#44002) …
Modified inf_sup_leView on Github →
2025-12-24 12:03
Mathlib/Order/Lattice.lean
feat(Order/Lattice): use `@[to_dual]` (#33142) …
Added inf_sup_leView on Github →