Flip direction of `map_disjoint_fmap`.

The old way was inconsistent with other lemmas.

assigned to @robbertkrebbers

added 1 commit

• 12a3551e - CHANGELOG.

Compare with previous version

mentioned in merge request !392 (merged)

added 16 commits

• 12a3551e...9d78117d - 14 commits from branch master
• 7ef1770c - Flip direction of `map_disjoint_fmap`.
• 9198e66b - CHANGELOG.

Compare with previous version

enabled an automatic merge when the pipeline for 9198e66b succeeds

@iris-users This MR can cause minor breakage:

• Flip direction of map_disjoint_fmap.

merged

mentioned in commit 6f1ca045