Commit 2025-12-10 18:06 3ae4a54a

View on Github →

chore: use Set.Nonempty in ProperlyDiscontinuous (#32693) addresses a TODO

Estimated changes