Theorem inf_right_le_sup_left

Modification history

2025-12-24 12:03
Mathlib/Order/Lattice.lean
feat(Order/Lattice): use `@[to_dual]` (#33142) …
Deleted inf_right_le_sup_leftView on Github →
2025-09-04 14:12
Mathlib/Order/Lattice.lean
feat(Order/Lattice): Add some lattice lemmas (#27648) …
Added inf_right_le_sup_leftView on Github →