mathlib3
doc(data/int/gcd): attribution + module doc
#2217
Merged

doc(data/int/gcd): attribution + module doc #2217

mergify merged 3 commits into master from doc_int_gcd
bryangingechen
bryangingechen doc(data/int/gcd): attribution + module doc
1bcded2d
bryangingechen reword
3b1adecd
jcommelin
jcommelin approved these changes on 2020-03-23
jcommelin jcommelin added ready-to-merge
mergify[bot] Merge branch 'master' into doc_int_gcd
027d4ebb
mergify mergify merged 9a9794d7 into master 6 years ago
robertylewis robertylewis deleted the doc_int_gcd branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone