Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
category_theory.bundled_hom.map
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
View on Github →