Also fix `Permutation_cons`.
Passed
Robbert Krebbers
created pipeline for commit
cb429ab7
, finished
Related merge request !291 to merge robbert/Permutation_app
4 minutes 58 seconds, queued for 5 seconds