Commit 2025-02-21 07:17 dc7342d7

View on Github →

feat(CategoryTheory): monomorphisms are stable under coproducts in Grothendieck abelian categories (#22133)

Estimated changes