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.

Estimated changes