Skip to content
GitLab
Explore
Sign in
Flip direction of `map_disjoint_fmap`.
代码
评审变更
检出分支
下载
补丁
文本差异
Robbert Krebbers
requested to merge
robbert/map_disjoint_fmap
into
master
Jul 26, 2022
Overview
1
Commits
2
Pipelines
3
Changes
2
Expand
The old way was inconsistent with other lemmas.
Merge request reports
Loading