La science et l'hypothèse
《La science et l'hypothèse》 · 第 34 页 · Section 1.4，Theorem 1.4.28（推广至非单连通的自旋版本）
Rohlin’s Theorem (Theorem 1.2.29) was stated only for simply connected 4-manifolds. It can be generalized to arbitrary (closed, smooth) 4-manifolds with the following theorem — replacing the assumption about \(Q_X\) with the assumption that \(X\) is spin. […] If \(X\) is a smooth, closed, spin 4-manifold, then \(\sigma(X)\equiv0\pmod{16}\).