Def FreeAbelianGroup.liftAddEquiv

Modification history

2025-07-13 19:58
Mathlib/GroupTheory/FreeAbelianGroup.lean
feat: `FreeAbelianGroup.lift` as an equivalence of groups (#27032) …
Added FreeAbelianGroup.liftAddEquivView on Github →