Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.functor.map_arrow

Modification history

2020-07-12 10:32

src/category_theory/arrow.lean

feat(algebra/category/AddCommGroup): has_image_maps (#3366)

Added category_theory.functor.map_arrow View on Github →