mathlib

f9d59d32 - chore(data/nat/prime): @[pp_nodot] nat.prime