mathlib3

5806a946 - feat(data/nat/basic, data/nat/prime): add various lemmas (#7171)