Surgery obstruction, Arf-invariant (Ex)
From Manifold Atlas
Define the Arf invariant of by
Prove that the Arf invariant is well-defined and defines an isomorphism
Hint: Start by classifying quadratic forms on , use induction and also count the size of the sets and .