Lubotzky's property tau conjecture for higher-rank lattices

Let $\Gamma$ be an irreducible higher-rank lattice. Lubotzky's property $\tau$ conjecture. The group $\Gamma$ has property $\tau$. This is listed among consequences of the spectral gap conjecture and is attributed to Lubotzky; the source gives no resolution status.