Avoid relying on `setoid_rewrite` unfolding things.
Passed
Robbert Krebbers
created pipeline for commit
bfa786c0
, finished
Related merge request !399 to merge ci/msammler/map_commuting_lemmas
5 minutes 59 seconds, queued for 3 seconds