Theorems

Find a theorem and see what it rests on.

Every declaration gets a page: its statement, the results it cites, the results that cite it, and the path down to the axioms, with the elaborator plumbing filtered out so only the mathematics shows.

This view lands after Structures and the Map.