Skip to content

Flip direction of `map_disjoint_fmap`.

Robbert Krebbers requested to merge robbert/map_disjoint_fmap into master

The old way was inconsistent with other lemmas.

Merge request reports