Dear all,
I wonder whether it would be easy to produce a diagram of reference dependencies of environments (Definitions, Theorems, Lemmas, Propositions, etc.), similar to what Terence Tao mentioned in his blog post?
Producing reference dependencies between environments
1 Like