1 problem

Let $X$ be a closed, oriented four-manifold with $b_1(X)=0$. Let $\eta\geq 0$ be an integer and let $z$ be a homology insertion satisfying … For a $\operatorname{spin}^u$ structure…