“…The first computation of the Bredon chain and cochain complex was done in [58]. In detail, he determination of stabilizers, and conjugacy relations, as well as the differentials have been used as input for computations of Bredon cohomology with coefficients in complex representations in [58], for coefficients in twisted representations in [9], [10], and more recently, with the coefficients of equivariant real K-Theory in [31].…”