OAI/NumberTheory/DukePrimeDegree/
3735 declarations, 0 contain sorry, 0 declared as axioms; 886 files
Folders
- Arithmetic/ 48 files, 204 declarations
- Dynamics/ 240 files, 1102 declarations
- Entropy/ 212 files, 709 declarations
- Geometry/ 381 files, 1709 declarations
Files
- Conditional.lean 2 declarations
- MainConditional.lean 3 declarations
- MainReduction.lean 1 declarations
- MainStarkDischarged.lean 1 declarations
- MainUnconditional.lean 4 declarations