mathlib3

27a777b1 - feat(data/nat/gcd): `coprime.lcm_eq_mul` (#9761)

feat(data/nat/gcd): `coprime.lcm_eq_mul` (#9761) Surprisingly, this result doesn't seem to be present yet. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>