Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-12 08:46 708e2dee

View on Github →

chore(group_theory/free_abelian_group): remove is_add_monoid_hom (#13349)

Estimated changes

Modified src/group_theory/free_abelian_group.lean

deleted theorem free_abelian_group.is_add_group_hom_lift'

deleted theorem free_abelian_group.is_add_group_hom_seq

added def free_abelian_group.seq_add_group_hom