Structure CategoryTheory.AddMod.Hom

Modification history

2026-05-05 19:39
Mathlib/CategoryTheory/Monoidal/Mod.lean
chore(CategoryTheory/Monoidal): additivize `ModObj` (#38722)
Added CategoryTheory.AddMod.HomView on Github →