Skip to content
Snippets Groups Projects

`Inj` instances for set and multiset singletons.

Passed
Robbert Krebbers created pipeline for commit 0a55fc55
, finished
For master
5 jobs 9 minutes 14 seconds, queued for 2 seconds