Def AddCommGroup.image

Modification history

2020-08-02 16:01

src/algebra/category/Group/images.lean

chore(group_theory/*): refactor quotient groups to use bundled subgroups (#3321)

Modified AddCommGroup.image View on Github →

2020-03-18 03:19

src/algebra/category/Group/images.lean

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

Added AddCommGroup.image View on Github →