Renault, J. Topological Amenability Is a Borel Property. Math. Scand. 2015, 117 (1), 5-30. https://doi.org/10.7146/math.scand.a-22235.