[Merged by Bors] - refactor(Algebra/Category/ModuleCat): make ModuleCat.Hom a structure#19511
Closed
Vierkantor wants to merge 24 commits intomasterfrom ModuleCat-Hom-structure
+1,291-1,035
Commits
Commits on Dec 3, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
