Theorem sup_sup_distrib_right

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 sup_sup_distrib_rightView on Github →
2022-11-25 17:46
Mathlib/Order/Lattice.lean
feat: port Order.Lattice (#642) …
Added sup_sup_distrib_rightView on Github →