TY - RPRT TI - Property (T) for Roelcke precompact Polish groups (after Ibarlucía, building on work of Ben Yaacov and Tsankov) AU - François Le Maître PY - 2021 UR - https://arxiv.org/abs/2106.08244 ID - 2106.08244 ER -