# Commit 2021-10-01 03:25 b7864434

View on Github →chore(algebra/category/*): Added `of_hom`

to all of the algebraic categories. (#9454)
As suggested in the comments of #9416.

Mathlib v3 is deprecated. Go to Mathlib v4

chore(algebra/category/*): Added `of_hom`

to all of the algebraic categories. (#9454)
As suggested in the comments of #9416.