Def Lattice.dual

Modification history

2023-03-28 23:45

src/order/category/Lattice.lean

chore(order/category): Rename categories (#18657) …

Deleted Lattice.dual View on Github →

2022-05-04 11:10

src/order/category/Lattice.lean

feat(order/basic): Notation for `order_dual` (#13798) …

Modified Lattice.dual View on Github →

2022-02-15 14:39

src/order/category/Lattice.lean

feat(order/category/Lattice): The category of lattices (#11968) …

Added Lattice.dual View on Github →