mathlib3

2d2d09cb - feat(data/nat/gcd): added gcd_mul_of_dvd_coprime (#12989)

feat(data/nat/gcd): added gcd_mul_of_dvd_coprime (#12989) Added gcd_mul_of_dvd_coprime lemma to gcd.lean. Co-authored-by: seangolinski7 <60711021+seangolinski7@users.noreply.github.com>