Skip to content

Misc lemma for sets and `gset_to_gmap`

Léo Stefanesco requested to merge lstefane/stdpp:misc-lemma into master

Upstreamed from the Aneris project.

Merge request reports