Theorem FreeAbelianGroup.lift_neg'

Modification history

2025-07-13 19:58
Mathlib/GroupTheory/FreeAbelianGroup.lean
feat: `FreeAbelianGroup.lift` as an equivalence of groups (#27032) …
Deleted FreeAbelianGroup.lift_neg'View on Github →
2023-03-14 11:44
Mathlib/GroupTheory/FreeAbelianGroup.lean
feat: port GroupTheory.FreeAbelianGroup (#2247)
Added FreeAbelianGroup.lift_neg'View on Github →