Def FreeAbelianGroup.toFinsupp

Modification history

2023-04-17 07:18

Mathlib/GroupTheory/FreeAbelianGroupFinsupp.lean

feat: port GroupTheory.FreeAbelianGroupFinsupp (#3441)

Added FreeAbelianGroup.toFinsupp View on Github →