Skip to content

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

Robbert Krebbersrequested to merge
robbert/semiset into master

I noticed this while reviewing !459 (merged)

Merge request reports