Mathlib v3 is deprecated. Go to Mathlib v4

Def AddCommGroup.cokernel_iso_quotient

Modification history

2020-09-12 06:00
src/algebra/category/Group/colimits.lean
feat(category_theory/limits): make has_limit a Prop (#3995) …
Deleted AddCommGroup.cokernel_iso_quotientView on Github →
2020-07-26 02:39
src/algebra/category/Group/colimits.lean
feat(algebra/category/Group/*): compare categorical (co)kernels/images with the usual notions (#3443)
Added AddCommGroup.cokernel_iso_quotientView on Github →