Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_hom.id_to_functor

Modification history

2019-08-28 21:31
src/category_theory/single_obj.lean
refactor(category_theory/single_obj): migrate to bundled morphisms (#1330) …
Added monoid_hom.id_to_functorView on Github →