2
$\begingroup$

For example, Prop. 12.9 reffers to Prop. 11.34, which refers to Prop. 12.31, which reffers to....

Has this ever been studied? If we did this for every Proposition, I think we would have a very interesting directed graph.

$\endgroup$
2

0

You must log in to answer this question.

Browse other questions tagged .