1000+ theorems

The theorems of Wikipedia's list of theorems, as collected by the 1000+ theorems project, grouped by Mathematics Subject Classification (docs/1000.yaml). Mathlib does not have 981 of its 1,199 items; they have no article here.

• General topics, history and foundations
• Combinatorics and ordered structures
• Number theory
• Algebra
• Analysis
• Geometry and topology
• Probability and statistics
• Applied mathematics
• Unclassified

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.