Skip to content
Snippets Groups Projects

Clarifiy that bind can work on ∃ and ∀

Passed
Hans-Jörg created pipeline for commit 17f0b594
, finished
For master
3 jobs 2 minutes 49 seconds, queued for 0 seconds