PR #8475: feat(order/compactly_generated): For any `b`, t...

Stream: triage

[Random Issue Bot]

Today I chose PR 8475 for discussion!

feat(order/compactly_generated): For any b, there exists a set of independent atoms s such that Sup s is the complement of b.
Created by @Hanting Zhang (@winston-h-zhang) on 2021-07-30
Labels: awaiting-author, merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?