Mathlib v3 is deprecated. Go to Mathlib v4

Def AddCommGroup.colimits.colimit_cocone_is_colimit

Modification history

2020-09-12 09:38
src/algebra/category/Group/colimits.lean
chore(category_theory): minor cleanups (#4110)
Added AddCommGroup.colimits.colimit_cocone_is_colimitView on Github →