Skip to content
Snippets Groups Projects

add directional versions of not_elem_of_singleton

Canceled
Ralf Jung created pipeline for commit 67db2f24
, finished
For master
5 jobs 5 minutes 33 seconds, queued for 2 seconds