Skip to content

Generalize some map/finset results from `Set_` to `SemiSet`.

Robbert Krebbers requested to merge robbert/semiset into master

I noticed this while reviewing !459 (merged)

Merge request reports