Theorem sup_rotate

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_rotateView on Github →
2026-04-08 12:57
Mathlib/Order/Lattice.lean
feat: express filter as supremum of principal filter and free filter (#31242) …
Added sup_rotateView on Github →