# Commit 2018-12-18 00:48 3d4297b3

View on Github →feat(category_theory/eq_to_hom): equality of functors; more simp lemmas (#526)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(category_theory/eq_to_hom): equality of functors; more simp lemmas (#526)