Commit 2020-12-02 21:21 2189c7ab
View on Github →feat(data/option/basic): map_map functor-like lemmas (#5030)
New lemmas:
map_eq_map
map_map
comp_map
map_comp_map
feat(data/option/basic): map_map functor-like lemmas (#5030)
New lemmas:
map_eq_map
map_map
comp_map
map_comp_map