OAI/NumberTheory/Jacobsthal/Primes/
981 declarations, 0 contain sorry, 0 declared as axioms; 78 files
Files
- ActualPrimeQuadrature.lean 17 declarations
- ActualPrimeSelectors.lean 2 declarations
- AdjacentPrimeRecovery.lean 17 declarations
- BadPrimeProduct.lean 6 declarations
- BoundaryPrimeMass.lean 7 declarations
- BoundaryPrimeStep.lean 1 declarations
- BoundedEdgeHighPrimes.lean 4 declarations
- CanonicalTagPrimePartition.lean 11 declarations
- ConditionalPrimeBins.lean 10 declarations
- CrossingPrimeBin.lean 4 declarations
- DirichletZeroFree.lean 2 declarations
- DirichletZeroPenalty.lean 21 declarations
- FrozenPrimeGroup.lean 7 declarations
- FullHistoryPrimeOccupation.lean 5 declarations
- FullPrimeEventFibres.lean 7 declarations
- GuardedHardPrimeSets.lean 20 declarations
- HighPrimeRemoval.lean 101 declarations
- IgnoredDenominatorPrimes.lean 3 declarations
- IntervalPrimesDefinition.lean 2 declarations
- IsolatedRealPrimeRange.lean 1 declarations
- KloostermanPrimeBound.lean 4 declarations
- LargePrimeDeletion.lean 26 declarations
- LatePrimeRatio.lean 4 declarations
- LiteralUniformPrimeTail.lean 13 declarations
- LogarithmicPrimeLength.lean 2 declarations
- OddPrimeRoots.lean 4 declarations
- OriginalPrimeBlocks.lean 9 declarations
- PaperMissingPrimeWindow.lean 6 declarations
- PrimeBinCounting.lean 4 declarations
- PrimeBinRationalList.lean 11 declarations
- PrimeBinRepresentatives.lean 7 declarations
- PrimeChoiceCoordinateMass.lean 21 declarations
- PrimeCompactWeights.lean 63 declarations
- PrimeCountAbel.lean 23 declarations
- PrimeDensityBlocks.lean 28 declarations
- PrimeEventCounting.lean 16 declarations
- PrimeExceptionalMean.lean 3 declarations
- PrimeFibreInterval.lean 6 declarations
- PrimeGridGeometry.lean 118 declarations
- PrimeHistoryCompactCount.lean 3 declarations
- PrimeHitRepresentative.lean 4 declarations
- PrimeIntervalFlags.lean 18 declarations
- PrimeInverseBins.lean 5 declarations
- PrimeLaw.lean 32 declarations
- PrimeMarginalInduction.lean 1 declarations
- PrimeMarginalRecursion.lean 18 declarations
- PrimeOccupationDensity.lean 15 declarations
- PrimePartitionCounts.lean 3 declarations
- PrimePowerBound.lean 8 declarations
- PrimePowerGrowth.lean 2 declarations
- PrimePowerStationarity.lean 5 declarations
- PrimeProductLifting.lean 5 declarations
- PrimeProductLogCoordinates.lean 4 declarations
- PrimeProductOmissions.lean 7 declarations
- PrimeRatioBins.lean 67 declarations
- PrimeRationalList.lean 4 declarations
- PrimeTailSplit.lean 11 declarations
- PrimeWordArithmetic.lean 10 declarations
- PrincipalPrimePowers.lean 7 declarations
- ProgressionPrimeUpper.lean 3 declarations
- ReferenceSourcePrimeSets.lean 19 declarations
- RieszMellinKernel.lean 13 declarations
- SmallEffectivePrimeSplit.lean 3 declarations
- SourcePrimeProductData.lean 2 declarations
- SourcePrimeSampleBound.lean 6 declarations
- SourceRawPrimeMass.lean 1 declarations
- StableSourceChebyshev.lean 1 declarations
- StoppedReferencePrimes.lean 5 declarations
- SubsetPrimeBoxMass.lean 3 declarations
- TagPrimePartition.lean 5 declarations
- TagSmallPrimeData.lean 14 declarations
- TagSubbinPrimeLower.lean 2 declarations
- TwoPrimeObservableSum.lean 5 declarations
- TwoPrimeRoots.lean 3 declarations
- UniformDirichletBasepoint.lean 17 declarations
- WeightedChebyshev.lean 2 declarations
- WeightedPrimeMultiplePairs.lean 28 declarations
- ZetaPoleBounds.lean 4 declarations