Class Field Theory
《Class Field Theory》 · 第 501 页 · Section 11.4
For a \(G\)-space \(X\), the equivariant cohomology is defined using the Borel construction by \(H_G^*(X;R)\cong H^*(EG\times_GX;R)\).