mathlib3
chore(algebra/module): use curly brackets instead of square brackets in more places
#1523
Merged
Merged