PR #1382 feat(data/nat/gcd): add simple lemmas

feat(data/nat/gcd): add simple lemmas #1382

mergify merged 2 commits into leanprover-community:master from urkud:gcd-lemmas

feat(data/nat/gcd): more simple lemmas

51680526

Prove `iff` instead of one side implication

35b1e8e7

urkud requested a review 6 years ago

ChrisHughes24 approved these changes on 2019-09-02

ChrisHughes24 added ready-to-merge

mergify merged d35dc135 into master 6 years ago

urkud deleted the gcd-lemmas branch 6 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone