Almgren regularity theorem

In mathematical geometric measure theory, the Almgren regularity theorem, proved by Almgren (1983, 2000), states that the singular set of a mass-minimizing surface has codimension at least 2. Almgren's proof of this was 955 pages long.