Def FreeAbelianGroup.coeff

Modification history

2023-04-17 07:18

Mathlib/GroupTheory/FreeAbelianGroupFinsupp.lean

feat: port GroupTheory.FreeAbelianGroupFinsupp (#3441)

Added FreeAbelianGroup.coeff View on Github →