Skip to content

Add a comment about `cancel_inj` and `cancel_surj`.

Robbert Krebbers requested to merge robbert/cancel_inj_surj into master

Merge request reports