Commit 2023-04-10 18:31 e44913f3
View on Github →chore: forward port of #18742, no simps lemmas for Category.Hom (#3340) This is the forward port of https://github.com/leanprover-community/mathlib/pull/18742. That PR hasn't landed yet, so this PR still needs to be updated with the new commit SHA.