TY  - RPRT
TI  - $\operatorname{Aut}(\mathbb{F}_5)$ has property $(T)$
AU  - Marek Kaluba
AU  - Piotr W. Nowak
AU  - Narutaka Ozawa
PY  - 2019
DO  - 10.1007/s00208-019-01874-9
UR  - https://arxiv.org/abs/1712.07167
ID  - 1712.07167
ER  -