Def FreeAbelianGroup.support

Modification history

2023-04-17 07:18

Mathlib/GroupTheory/FreeAbelianGroupFinsupp.lean

feat: port GroupTheory.FreeAbelianGroupFinsupp (#3441)

Added FreeAbelianGroup.support View on Github →