mathlib3

099fb0f6 - feat(data/nat/prime): lemma eq_of_eq_count_factors (#10493)