Theorem FreeAbelianGroup.ofMulHom_coe

Modification history

2023-03-14 11:44
Mathlib/GroupTheory/FreeAbelianGroup.lean
feat: port GroupTheory.FreeAbelianGroup (#2247)
Added FreeAbelianGroup.ofMulHom_coeView on Github →