Def FreeAbelianGroup.ofMulHom

Modification history

2023-03-14 11:44

Mathlib/GroupTheory/FreeAbelianGroup.lean

feat: port GroupTheory.FreeAbelianGroup (#2247)

Added FreeAbelianGroup.ofMulHom View on Github →