Use `positive` in `gmultiset` representation to avoid off-by-one computations.
Passed
Robbert Krebbers
created pipeline for commit
4e49536a
, finished
Related merge request !463 to merge robbert/gmultiset_positive
4 minutes 15 seconds, queued for 3 seconds