Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-12 10:32 a8d6bdf6

View on Github →

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

Estimated changes

Modified src/algebra/category/Group/images.lean

added theorem AddCommGroup.image_map

Modified src/category_theory/arrow.lean

added def category_theory.functor.map_arrow

Modified src/category_theory/limits/types.lean

added theorem category_theory.limits.types.image_map