PR !4#10609: feat: `SmallSet.{u} α` - sets with `u`-small...

Stream: triage

[Random Issue Bot]

Today I chose PR 10609 for discussion!

feat: SmallSet.{u} α - sets with u-small models
Created by @Timo Carlin-Burns (@timotree3) on 2024-02-15
Labels: WIP, merge-conflict, t-logic

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

[Yaël Dillies]

Will review when it's green