Def Equiv.ofFreeAbelianGroupLinearEquiv

Modification history

2025-04-03 15:49
Mathlib/GroupTheory/FreeGroup/GeneratorEquiv.lean
chore(GroupTheory/FreeAbelianGroupFinsupp): split file (#23626) …
Added Equiv.ofFreeAbelianGroupLinearEquivView on Github →