Almgren’s big regularity theorem is well known for its monumental size of around 1000 pages. The recent works of Delellis et al. have somewhat simplified the proof, which still remains very nontrivial (cf. [24] for some introduction).