FormalConjecturesForMathlib/NumberTheory/
240 declarations, 0 contain sorry, 0 declared as axioms; 32 files
Folders
- AutomorphicForm/ 4 files, 125 declarations
- DiophantineApproximation/ 1 files, 1 declarations
- DirichletCharacter/ 1 files, 2 declarations
- LegendreSymbol/ 1 files, 0 declarations
- NumberField/ 2 files, 4 declarations
Files
- AdditionChain.lean 12 declarations
- AdditiveComplement.lean 2 declarations
- AdditivelyComplete.lean 14 declarations
- AlmostPrime.lean 2 declarations
- Amicable.lean 1 declarations
- AutomaticNumber.lean 3 declarations
- BeurlingPrimes.lean 8 declarations
- Carmichael.lean 1 declarations
- CoveringSystem.lean 4 declarations
- Divisors.lean 2 declarations
- ExpansionEntropy.lean 3 declarations
- Harmonic.lean 5 declarations
- Lacunary.lean 6 declarations
- MultiplicativelyIndependent.lean 5 declarations
- NormalNumber.lean 5 declarations
- PisotNumber.lean 2 declarations
- PracticalNumbers.lean 1 declarations
- PrimeGap.lean 1 declarations
- Primitive.lean 12 declarations
- SierpinskiNumber.lean 1 declarations
- SmoothScale.lean 1 declarations
- WallSunSunPrimes.lean 7 declarations
- WieferichPrime.lean 10 declarations