mathlib

815e91f3 - chore(data/nat/prime): fix + add missing lemmas (#8066)

chore(data/nat/prime): fix + add missing lemmas (#8066) I fixed up some indents as well, as they were bothering me quite a bit. The only "new" content is 597 - 617.