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

Merged

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

mergify merged 4 commits into master from linear_map_brackets

chore(algebra/module): use curly brackets instead of square brackets …

371fd990

Add explanation behind implicit brackets

923b67f6

ChrisHughes24 added awaiting-review

kim-em commented on 2019-10-11

Update src/algebra/module.lean

3d39a64d

kim-em approved these changes on 2019-10-11

kim-em removed awaiting-review

kim-em added ready-to-merge

Merge branch 'master' into linear_map_brackets

0d210ffa

mergify merged 364c26e9 into master 6 years ago

mergify deleted the linear_map_brackets branch 6 years ago

Reviewers

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone