Skip to content

Flip direction of `map_disjoint_fmap`.

Robbert Krebbersrequested to merge
robbert/map_disjoint_fmap into master

The old way was inconsistent with other lemmas.

Merge request reports