Tweak proofs.
Passed
Robbert Krebbers
created pipeline for commit
99c32685
, finished
Related merge request !489 to merge ralf/map_Forall_fmap
4 minutes 19 seconds, queued for 3 seconds