mathlib3

87a3df14 - chore(algebra/category/*): simp lemmas for of_hom