Comment by galaxyLogic

Is there such a thing as the graph of lemmas and theorems in mathematics, somewhere online?

I can't really understand much of mathematics, but I would appreciate seeing the graph of how all major proofs are constructed with help of other proofs.