Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-29 15:07 afd1c063

View on Github →

feat(algebra/group): is_add_group_hom

Estimated changes

Modified algebra/group.lean

added theorem is_add_group_hom.sub