Theorem AddCommGrp.hasColimit_iff_small_quot

Modification history

2025-01-20 10:42
Mathlib/Algebra/Category/Grp/LargeColimits.lean
feat(Algebra/Category/Grp/LargeColimits): large colimits in the category of commutative additive groups (#20522) …
Added AddCommGrp.hasColimit_iff_small_quotView on Github →