“…Let be the group consisting of two copies of the complex unit circle, along with a map interchanging them, so that and . In , Manolescu associated to a spin three‐manifold the ‐equivariant Seiberg–Witten Floer homology , which is the Borel homology of a stable homotopy type . From its module structure, he defined homology cobordism invariants as analogues of the Frøyshov invariant of the usual, ‐equivariant, Seiberg–Witten Floer homology .…”