Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-08-19 21:05 5a309a3a

View on Github →

fix(category_theory/eq_to_hom): remove bad simp lemmas (#1346)

Estimated changes

Modified src/category_theory/eq_to_hom.lean

modified theorem category_theory.eq_to_hom_app

modified theorem category_theory.eq_to_hom_map

modified theorem category_theory.eq_to_iso_map