Move setoid lemmas for maps to bottom of file.
Passed
Robbert Krebbers
created pipeline for commit
3722f090
, finished
For master
11 minutes 36 seconds, queued for 2 seconds