OAI/NumberTheory/
151971 declarations, 0 contain sorry, 0 declared as axioms; 23530 files
Folders
- Catalan/ 981 files, 24604 declarations
- Chromatic/ 1 files, 5 declarations
- CubicGauss/ 30 files, 388 declarations
- CubicGram/ 45 files, 687 declarations
- CubicMoment/ 3549 files, 13417 declarations
- DirichletL/ 2926 files, 25924 declarations
- DuffinSchaeffer/ 1 files, 41 declarations
- DukePrimeDegree/ 886 files, 3735 declarations
- EgyptianFractions/ 366 files, 2280 declarations
- GaussianMoat/ 41 files, 903 declarations
- Jacobsthal/ 819 files, 10385 declarations
- JointDickman/ 1502 files, 5317 declarations
- NumberField/ 1 files, 15 declarations
- OrdinaryCorrelations/ 637 files, 4185 declarations
- Ostmann/ 7716 files, 29905 declarations
- PiExponent/ 869 files, 6795 declarations
- PowerFree/ 63 files, 1225 declarations
- PrimeGaps/ 56 files, 1561 declarations
- PrimePackets/ 143 files, 3475 declarations
- QuadraticForms/ 4 files, 203 declarations
- ShortEgyptian/ 58 files, 427 declarations
- SiegelZeros/ 306 files, 4501 declarations
- SingleFold/ 28 files, 836 declarations
- TotientAsymptotic/ 810 files, 3217 declarations
- TotientFibers/ 1 files, 17 declarations
- TwoPoint/ 1465 files, 6624 declarations
- TwoPointCorrelations/ 217 files, 1211 declarations
- ZetaFive/ 7 files, 87 declarations
Files
- DukePrimeDegree.lean 886 imports, no declarations
- JointDickman.lean 1 declarations