Def FreeAbelianGroup.seqAddGroupHom

Modification history

2025-07-13 19:58
Mathlib/GroupTheory/FreeAbelianGroup.lean
feat: `FreeAbelianGroup.lift` as an equivalence of groups (#27032) …
Modified FreeAbelianGroup.seqAddGroupHomView on Github →
2023-03-14 11:44
Mathlib/GroupTheory/FreeAbelianGroup.lean
feat: port GroupTheory.FreeAbelianGroup (#2247)
Added FreeAbelianGroup.seqAddGroupHomView on Github →