Import Graph for Mathlib

Built with Sigma.js. Node sizes indicate the number of declarations in the file.

Hover over a node to show only the files importing it. Hover over a directory name to highlight only the files in that directory