Skip to content
Snippets Groups Projects

Misc lemma for sets and `gset_to_gmap`

Merged Misc lemma for sets and `gset_to_gmap`
lstefane/stdpp:misc-lemma into master
Merged Léo Stefanesco requested to merge lstefane/stdpp:misc-lemma into master