Unary ops substitution: bugfix, actually restrict the substitution to the chosen equations
Passed
Sébastien Villemot
created pipeline for commit
5b80a4db
, finished
For master
7 minutes 27 seconds, queued for 50 seconds