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