Add lemmas that say that `curry{3,4}?` and `uncurry{3,4}?` are inverses.
Canceled
Robbert Krebbers
created pipeline for commit
57845bb3
, finished
Related merge request !304 to merge robbert/curry_uncurry
1 minute 1 second, queued for 4 seconds