Add a comment about `cancel_inj` and `cancel_surj`.
Passed
Robbert Krebbers
created pipeline for commit
c8d873f8
, finished
Related merge request !527 to merge robbert/cancel_inj_surj
5 minutes 36 seconds, queued for 2 seconds