Skip to content

Dependency Summary

TikZ

Both variants use one ELK Layered layout of the complete graph. The minimal graph is therefore the full graph with its additional arrows omitted: node, route, label, and canvas geometry are identical.

Minimal

Minimal theorem dependency graph

Full

Full theorem dependency graph