I see here in Olivia DeMatteo's notes, she states:
When we consider the action of the entire Clifford group on a single non-identity Pauli, it maps that Pauli to each of the $d^2 − 1$ other possible Paulis an equal number of times. Since we have $|C_n|/|P_n|$ possible Cliffords, we get mapped to each Pauli $\frac{|Cn|/|Pn|}{d^2−1}$ times.
This is also stated in this paper
[...] conjugation under the Clifford group maps each nonidentity Pauli element to every other nonidentity Pauli element with equal frequency.
I don't see a proof for this claim anywhere. Does anyone know of a proof for it? I think the proof for the cardinality of the Clifford group can be used to prove it, but I'm sure there is a simpler way to prove it.