PR #1579 feat(data/nat/basic): division inequalities

feat(data/nat/basic): division inequalities #1579

mergify merged 6 commits into master from ChrisHughes24-patch-2

feat(data/nat/basic): division inequalities

804c3934

whitespace

9f6a502a

fix

dd69199e

shorten proof

852d7c2a

Merge branch 'master' into ChrisHughes24-patch-2

11abd267

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

kim-em added ready-to-merge

Merge branch 'master' into ChrisHughes24-patch-2

556643c9

mergify merged 1741a1d6 into master 6 years ago

mergify deleted the ChrisHughes24-patch-2 branch 6 years ago

Reviewers

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone