Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.functor.congr_hom

Modification history

2018-12-18 00:48

category_theory/eq_to_hom.lean

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

Added category_theory.functor.congr_hom View on Github →