Spell out function names in `Proper`s instead of using notations.
Passed
Robbert Krebbers
created pipeline for commit
379014ec
, finished
Related merge request !276 to merge robbert/map_setoid
5 minutes 17 seconds, queued for 3 seconds