Streamline `map_compose_as` lemmas.
Passed
Robbert Krebbers
created pipeline for commit
b3de63c4
, finished
Related merge request !459 to merge dorian/map_compose
5 minutes 38 seconds, queued for 1 seconds