Compared to some of the papers I've read recently, this is extremely elegant and succinct and doesn't just jam all the math in line by line.
Comparatively one of the papers I looked at the other day was something like 100 pages long with a ~30 page proof section with very little free whitespace packed full of complex mathematics.