Mathlib v3 is deprecated. Go to Mathlib v4

Theorem AddCommGroup.image.fac

Modification history

2020-03-18 03:19

src/algebra/category/Group/images.lean

feat(category_theory): images in Ab and Type (#2101) …

Added AddCommGroup.image.fac View on Github →