Def Finsupp.toFreeAbelianGroup

Modification history

2023-04-17 07:18

Mathlib/GroupTheory/FreeAbelianGroupFinsupp.lean

feat: port GroupTheory.FreeAbelianGroupFinsupp (#3441)

Added Finsupp.toFreeAbelianGroup View on Github →