Theorem FreeAbelianGroup.lift_add

Modification history

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