Commit 2021-01-25 05:26 9117ad71
View on Github →feat(order/atoms): define (co)atomic, (co)atomistic lattices (#5588) Define (co)atomic, (co)atomistic lattices Relate these lattice definitions Provide basic subtype instances
feat(order/atoms): define (co)atomic, (co)atomistic lattices (#5588) Define (co)atomic, (co)atomistic lattices Relate these lattice definitions Provide basic subtype instances