Add variants of `Sorted_unique` that only require anti symmetry for the...
Passed
Robbert Krebbers
created pipeline for commit
1d6ec7e6
, finished
Related merge request !567 to merge robbert/sorted_unique
2 minutes 55 seconds, queued for 1 seconds