Strengten `fmap_equiv_ext` lemmas.
Passed
Robbert Krebbers
created pipeline for commit
ec91c14f
, finished
For master
9 minutes 37 seconds, queued for 2 seconds