Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-28 14:01 48df3219

View on Github →

feat(category_theory/instances): category of groups (#749)

Estimated changes

Created src/category_theory/instances/groups.lean

added def category_theory.instances.AddCommGroup.forget_to_Group

added def category_theory.instances.AddCommGroup

added def category_theory.instances.Group

added def category_theory.instances.is_add_comm_group_hom