PR #10865: feat(order/atoms): A set/finset/multiset is an...

Stream: triage

[Random Issue Bot]

Today I chose PR 10865 for discussion!

feat(order/atoms): A set/finset/multiset is an atom iff it's a singleton
Created by @Yaël Dillies (@YaelDillies) on 2021-12-18
Labels: WIP, merge-conflict

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