Skip to content
GitLab

Flip direction of `map_disjoint_fmap`.

Merged Robbert Krebbers requested to merge robbert/map_disjoint_fmap into master

The old way was inconsistent with other lemmas.

Merge request reports