Theorem FreeAbelianGroup.lift.map_hom

Modification history

2026-02-15 14:33
Mathlib/GroupTheory/FreeAbelianGroup.lean
chore: remove declarations deprecated between 2021-02-15 and 2025-08-15 (#35335) …
Deleted FreeAbelianGroup.lift.map_homView on Github →
2025-07-23 20:45
Mathlib/GroupTheory/FreeAbelianGroup.lean
chore: rename `lift.of` to `lift_apply_of` (#27398)
Modified FreeAbelianGroup.lift.map_homView on Github →
2023-03-14 11:44
Mathlib/GroupTheory/FreeAbelianGroup.lean
feat: port GroupTheory.FreeAbelianGroup (#2247)
Added FreeAbelianGroup.lift.map_homView on Github →