mathlib3

a998db66 - refactor(data/nat/prime): redefine nat.prime as irreducible (#11031)