Skip to content
Snippets Groups Projects

Refactor assumptions in a lemma about RBF

Passed
Björn Brandenburg created pipeline for commit 175db5a3
, finished
For master
branch
11 jobs 30 minutes 10 seconds, queued for 2 seconds