Current library: Alpha v34, 4,223 checked-use theorems; Stable remains 432. Historical first admissions, original proof editions, and non-admitted aliases are preserved. Exact original first-admission records.
Choose a path
The complete cone contains all 544 theorem nodes. Focused arrows keep the initial view readable; choose all arrows for the literal 1,917-edge graph.
Arrows run from prerequisite to dependent. Click a mark to select it, use the proof link for the exact statement and tactic body, drag to pan, and zoom with the controls.
target
chosen chain
Stable checked-use theorem
Alpha-only checked-use theorem; not Stable
declared edge
Text alternative
Ordered premise chain
- Loading path…