Commit 2022-10-11 21:54 0a0be05e
View on Github →feat(data/set/intervals/unordered_interval): Intervals are injective in both endpoints (#16168)
set.interval a
and set.interval_oc a
are injective.
feat(data/set/intervals/unordered_interval): Intervals are injective in both endpoints (#16168)
set.interval a
and set.interval_oc a
are injective.