mathlib

f529870e - feat(data/nat/gcd/coprime): some easy simp lemmas (#677)