I agree<p>It&#x27;s a bit obscurantist, to be honest.<p>While people make source code to be as clear as possible, mathematicians go the other way.<p>One idea would be to invert the proof, going top-down, instead of bottom up (in the explanation), then clearly dividing the subproofs instead of one big &quot;wall of text&quot; (yes, I know, there are numbered proofs&#x2F;lemmas, but still it is not very well organized)<p>Edit: looking at the paper above it seems the author really tries to be helpful, the paper seems very organized (but it is long)