mathlib3

14802d6c - chore(ring_theory/int/basic): remove duplicate lemma nat.prime_iff_prime (#7611)