Skip to content
Snippets Groups Projects

Remove redundant simplification from `implies_simplify`

Passed
Hans-Jörg created pipeline for commit 17dd1226
, finished
1 job 2 minutes 50 seconds, queued for 3 seconds