Def FreeAbelianGroup.equivFinsupp

Modification history

2023-04-17 07:18

Mathlib/GroupTheory/FreeAbelianGroupFinsupp.lean

feat: port GroupTheory.FreeAbelianGroupFinsupp (#3441)

Added FreeAbelianGroup.equivFinsupp View on Github →