Commit 2023-04-28 11:44 5275db2f

feat: For any b, there exists a set s of independent atoms such that Sup s is the complement of b (#3588) Match https://github.com/leanprover-community/mathlib/pull/8475

• order.compactly_generated@210657c4ea4a4a7b234392f70a3a2a83346dfa90..e8cf0cfec5fcab9baf46dc17d30c5e22048468be
• order.directed@485b24ed47b1b7978d38a1e445158c6224c3f42c..e8cf0cfec5fcab9baf46dc17d30c5e22048468be