[spekcular]

No, because it's hard to accurately represent the tree structure and interdependence of lemmas with a linear table of contents. (Sometimes – not always!)

But for really nasty proofs, I think a graphic description of the structure is best. Check out Figure 3 on page 29 of this paper: https://arxiv.org/abs/1108.2291.