mathlib3
chore(algebra/group/hom): use curly brackets for instances where possible
#1524
Merged
Overview
Commits
7
Changes
View On GitHub

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

mergify merged 7 commits into master from monoid_hom_brackets
ChrisHughes24
ChrisHughes24 chore(algebra/group/hom): use curly brackets for instances where poss…
20a75e30
ChrisHughes24 ChrisHughes24 changed the title chore(algebra/group/hom): use curly brackets for instances where poss… chore(algebra/group/hom): use curly brackets for instances where possible 6 years ago
ChrisHughes24 add comments mentioning motivation behind brackets
ea3308cb
ChrisHughes24 move explanation to header
f3c6e427
ChrisHughes24 fix build
7d9248ba
ChrisHughes24 ChrisHughes24 added awaiting-review
kim-em
kim-em commented on 2019-10-11
kim-em Update src/algebra/group/hom.lean
7b138a1c
kim-em
kim-em approved these changes on 2019-10-11
kim-em Merge branch 'master' into monoid_hom_brackets
79cef43e
kim-em kim-em removed awaiting-review
kim-em kim-em added ready-to-merge
mergify[bot] Merge branch 'master' into monoid_hom_brackets
7bcfe53b
mergify mergify merged eb230d3b into master 6 years ago
mergify mergify deleted the monoid_hom_brackets branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum