mathlib

eb230d3b - chore(algebra/group/hom): use curly brackets for instances where possible (#1524)

chore(algebra/group/hom): use curly brackets for instances where possible (#1524) * chore(algebra/group/hom): use curly brackets for instances where possible * add comments mentioning motivation behind brackets * move explanation to header * fix build * Update src/algebra/group/hom.lean