Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.bundled_hom.map_hom

Modification history

2020-04-28 06:54
src/category_theory/concrete_category/bundled_hom.lean
feat(category_theory/concrete): make constructing morphisms easier (#2502) …
Added category_theory.bundled_hom.map_homView on Github →