mathlib

e96cf5e6 - feat(data/nat/gcd): add coprime_prod_left and coprime_prod_right (#12268)