Add a comment about `cancel_inj` and `cancel_surj`.
Related merge request !527 to merge robbert/cancel_inj_surj
latest
merge request
2 jobs
5 minutes 36 seconds, queued for 2 seconds