Ah yes, this is indeed true. $\pi_\rho$ is irreducible if and only if $\rho$ is pure. And a representation is irreducible if and only if its range is SOT-dense, which by the Bicommutant theorem is equivalent to WOT-density.
Ah yes, this is indeed true. $\pi_\rho$ is irreducible if and only if $\rho$ is pure. And a representation is irreducible if and only if its range is SOT-dense, which by the Bicommutant theorem is equivalent to WOT-density.