Skip to content

Define `Involutive` in terms of `Cancel`.

Robbert Krebbersrequested to merge
robbert/involutive into master

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

Merge request reports