Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes

added theorem option.comp_map
added theorem option.map_comp_map
added theorem option.map_eq_map
modified theorem option.map_eq_some
added theorem option.map_map
modified theorem option.map_none
modified theorem option.map_some