mathlib

364c26e9 - chore(algebra/module): use curly brackets instead of square brackets in more places (#1523)

chore(algebra/module): use curly brackets instead of square brackets in more places (#1523) * chore(algebra/module): use curly brackets instead of square brackets in more places * Add explanation behind implicit brackets * Update src/algebra/module.lean