mathlib

fc3116f9 - doc(data/nat/prime): fix links (#10677)