mathlib

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

doc(data/int/gcd): attribution + module doc (#2217) * doc(data/int/gcd): attribution + module doc * reword Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>