basic): map_map functor-like lemmas (#5030)

Commit

5 years ago

feat(data/option/basic): map_map functor-like lemmas (#5030) New lemmas: `map_eq_map` `map_map` `comp_map` `map_comp_map`

Author

pechersky

Parents