mathlib

c1fb0ed9 - feat(algebra/associated): generalize nat.prime_mul_iff (#12850)