Skip to content
Snippets Groups Projects
Commit 83237066 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Merge branch 'robbert/semiset' into 'master' 

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

See merge request !505
parents 4101e42c 7385e45b
No related branches found
No related tags found
Checking pipeline status