feat(data/nat/prime): Add lemma `count_factors_mul_of_pos` (#10536)
feat(data/nat/prime): Add lemma `count_factors_mul_of_pos` (#10536)

Adding the counterpart to `count_factors_mul_of_coprime` for positive `a` and `b`






leanprover-community/mathlib,leanprover-community/mathlib