Def FreeAbelianGroup.uniqueEquiv

Modification history

2025-06-16 13:31
Mathlib/GroupTheory/FreeAbelianGroup.lean
chore(FreeAbelianGroup): rename `punitEquiv` to `uniqueEquiv` (#25954) …
Added FreeAbelianGroup.uniqueEquivView on Github →