coprime): some easy simp lemmas
#677

Merged

feat(data/nat/gcd/coprime): some easy simp lemmas #677

digama0 merged 1 commit into master from coprime-simp-lemmas

feat(data/nat/gcd/coprime): some easy simp lemmas

d0429b09

kim-em requested a review from

digama0 7 years ago

digama0 merged f529870e into master 7 years ago

digama0 deleted the coprime-simp-lemmas branch 7 years ago

Reviewers

digama0

Assignees

No one assigned

Labels

None yet

Milestone

No milestone