Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes