Commit 2024-12-26 06:54 8159be8d
View on Github →feat(Algebra/Colimit/ModuleRing): generalize to Semiring/AddCommMonoid (#20212) and remove all unnecessary IsDirected assumptions.
feat(Algebra/Colimit/ModuleRing): generalize to Semiring/AddCommMonoid (#20212) and remove all unnecessary IsDirected assumptions.