units): add some lemmas about `divp`
#1388

Merged

feat(algebra/group/units): add some lemmas about `divp` #1388

mergify merged 4 commits into leanprover-community:master from urkud:units-lemmas

feat(algebra/group/units): add some lemmas about `divp`

a97c39b2

urkud requested a review 6 years ago

rwbarton commented on 2019-09-03

Rename lemmas, add new ones

5ce61aff

Merge branch 'master' into units-lemmas

5fc4775c

ChrisHughes24 approved these changes on 2019-09-10

ChrisHughes24 added ready-to-merge

Merge branch 'master' into units-lemmas

f966b3db

mergify merged 0935e8bf into master 6 years ago

urkud deleted the units-lemmas branch 6 years ago

Reviewers

ChrisHughes24

rwbarton

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone