This is the definitive account of the resolution of the Kervaire invariant problem, a major milestone in algebraic topology. It develops all the machinery that is needed for the proof, and details many explicit constructions and computations performed along the way, making it suitable for graduate students as well as experts in homotopy theory.