Skip to content

Define `Involutive` in terms of `Cancel`.

Robbert Krebbers requested to merge robbert/involutive into master

As suggested by @jung in 18f83bcb (comment 37911)

Merge request reports