Skip to content

Add `Countable` instance for `gset`.

Janno requested to merge janno/coq-stdpp:master into master

Merge request reports