Structure CategoryTheory.AddMod

Modification history

2026-05-05 19:39

Mathlib/CategoryTheory/Monoidal/Mod.lean

chore(CategoryTheory/Monoidal): additivize `ModObj` (#38722)

Added CategoryTheory.AddMod View on Github →