mathlib
70fcf999 - feat(group_theory/free_abelian_group_finsupp): isomorphism between `free_abelian_group` and `finsupp` (#8046)

Commit

4 years ago

feat(group_theory/free_abelian_group_finsupp): isomorphism between `free_abelian_group` and `finsupp` (#8046) From LTE Co-authored-by: Filippo A. E. Nuccio <65080144+faenuccio@users.noreply.github.com>

Author

jcommelin

Parents

68d7d001

mathlib 70fcf999 - feat(group_theory/free_abelian_group_finsupp): isomorphism between `free_abelian_group` and `finsupp` (#8046)

mathlib
70fcf999 - feat(group_theory/free_abelian_group_finsupp): isomorphism between `free_abelian_group` and `finsupp` (#8046)