Add lemmas `map_singleton_equiv_inj` and `map_fmap_equiv_inj`.
Passed
Robbert Krebbers
created pipeline for commit
0666a61f
, finished
Related merge request !276 to merge robbert/map_setoid
4 minutes 55 seconds, queued for 3 seconds