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.

Estimated changes