OAI/NumberTheory/Ostmann/Preliminaries/
607 declarations, 0 contain sorry, 0 declared as axioms; 150 files
Files
- ActualMass.lean 5 declarations
- AdditiveSieveProbability.lean 5 declarations
- AdditiveSieveProof.lean 6 declarations
- Autocorrelation.lean 7 declarations
- BoundedSieveSubsets.lean 3 declarations
- CardinalKernelNorm.lean 4 declarations
- CircleSeparatedPoints.lean 6 declarations
- Collision.lean 4 declarations
- CollisionBound.lean 5 declarations
- CollisionIdentity.lean 3 declarations
- CollisionScale.lean 5 declarations
- CollisionStability.lean 5 declarations
- CosecantDistanceBound.lean 5 declarations
- CosecantHilbertBound.lean 5 declarations
- CosecantKernel.lean 9 declarations
- CosecantMatrix.lean 4 declarations
- CosecantRowSum.lean 1 declarations
- CountGrowth.lean 9 declarations
- CountSquare.lean 8 declarations
- Counting.lean 3 declarations
- CyclicSumsetCover.lean 5 declarations
- DensityStability.lean 2 declarations
- DivisibleResidueCount.lean 3 declarations
- DivisorCollision.lean 6 declarations
- DivisorLog.lean 4 declarations
- DivisorPowerBound.lean 4 declarations
- DivisorReciprocalMass.lean 2 declarations
- FallingFactorialError.lean 1 declarations
- FiniteBlockMatrix.lean 4 declarations
- FiniteCauchyEstimate.lean 6 declarations
- FiniteLayercake.lean 3 declarations
- FiniteMass.lean 11 declarations
- FiniteMatrixDuality.lean 2 declarations
- FiniteMaximumTransfer.lean 1 declarations
- FiniteMean.lean 6 declarations
- FiniteMomentMean.lean 2 declarations
- FiniteMomentPerturbation.lean 3 declarations
- FinitePolynomialTail.lean 4 declarations
- FiniteRelativeProductError.lean 1 declarations
- FiniteWitnessProbability.lean 3 declarations
- FixedShiftCount.lean 1 declarations
- FixedShiftEulerLower.lean 2 declarations
- FixedShiftInitialSegment.lean 2 declarations
- FixedShiftMertensWeights.lean 6 declarations
- FixedShiftPowerCount.lean 1 declarations
- FixedShiftResidues.lean 4 declarations
- FixedShiftRootCutoff.lean 3 declarations
- FixedShiftSieveBound.lean 2 declarations
- FixedShiftTailCount.lean 1 declarations
- FullSummandResidues.lean 7 declarations
- HBootstrap.lean 2 declarations
- HRefinement.lean 3 declarations
- HarmonicTestTransfer.lean 2 declarations
- HermitianEigenvector.lean 2 declarations
- HermitianNormBound.lean 2 declarations
- IntegerSumsetCover.lean 2 declarations
- LargeSummandTails.lean 2 declarations
- LocalUniformity.lean 4 declarations
- LocalizedMultiplicativeSieve.lean 1 declarations
- MertensFromFirst.lean 13 declarations
- MertensHarmonicBands.lean 7 declarations
- MertensPrimeBands.lean 7 declarations
- MertensShortBlockMass.lean 3 declarations
- MertensThetaKernel.lean 4 declarations
- MoebiusSquareRemoval.lean 5 declarations
- MultiplicativeSieveProof.lean 1 declarations
- OccupiedResidueCollision.lean 6 declarations
- OrientedAutocorrelation.lean 5 declarations
- PhaseDistance.lean 6 declarations
- PrimeBlock.lean 3 declarations
- PrimeBlockCauchy.lean 3 declarations
- PrimeBlockFourier.lean 7 declarations
- PrimeBlockFrequencies.lean 7 declarations
- PrimeBlockResidues.lean 8 declarations
- PrimeBlockUpper.lean 2 declarations
- PrimeCoverageWeight.lean 3 declarations
- PrimeDivisors.lean 3 declarations
- PrimeLogReciprocal.lean 17 declarations
- PrimeReciprocalBound.lean 3 declarations
- PrimeReciprocalLogBudget.lean 6 declarations
- PrimeSums.lean 7 declarations
- ProjectedMass.lean 8 declarations
- Projection.lean 12 declarations
- PublishedAdditiveSieve.lean 4 declarations
- PublishedSummandBounds.lean 1 declarations
- ReciprocalSupportCauchy.lean 2 declarations
- ReducedFractionSeparation.lean 2 declarations
- ReducedPublishedInputs.lean 18 declarations
- Reduction.lean 4 declarations
- ResidueSupports.lean 15 declarations
- Residues.lean 7 declarations
- SeparatedAdditiveSieve.lean 3 declarations
- SeparatedInverseSquares.lean 3 declarations
- SeparatedSetSquares.lean 2 declarations
- ShiftedSieve.lean 2 declarations
- SieveDualEnergy.lean 4 declarations
- SieveGeometricKernel.lean 8 declarations
- SievePhaseGram.lean 5 declarations
- SieveWeightMoment.lean 3 declarations
- SieveWeightTruncation.lean 2 declarations
- SiftedActualLocal.lean 1 declarations
- SiftedBound.lean 1 declarations
- SiftedEnergy.lean 3 declarations
- SiftedEuler.lean 5 declarations
- SiftedInterpolation.lean 2 declarations
- SiftedLocal.lean 1 declarations
- SiftedMertens.lean 7 declarations
- SiftedModuli.lean 6 declarations
- SiftedResidues.lean 9 declarations
- SiftedScales.lean 3 declarations
- SiftedWeights.lean 3 declarations
- SizeAssembly.lean 2 declarations
- Sizes.lean 4 declarations
- SqrtSieveGeometry.lean 2 declarations
- SquareRootTransfer.lean 3 declarations
- Stability.lean 6 declarations
- StableSummandTails.lean 2 declarations
- SubprobabilityTransfer.lean 2 declarations
- SummandCoverageLower.lean 2 declarations
- SummandLogarithmicLower.lean 1 declarations
- SummandLogarithmicUpper.lean 1 declarations
- SummandPolynomialBootstrap.lean 2 declarations
- SummandPolynomialLower.lean 1 declarations
- SummandSizeFiniteInequality.lean 1 declarations
- SummandSizePrimeBand.lean 5 declarations
- SummandSizeProof.lean 1 declarations
- SummandSqrtLower.lean 1 declarations
- SummandSqrtUpper.lean 1 declarations
- SummandSquareComparison.lean 2 declarations
- SummandSquareUpper.lean 1 declarations
- SummandTails.lean 12 declarations
- SymmetricBlockEnergy.lean 1 declarations
- SymmetricQuadraticBound.lean 1 declarations
- TailCollisionCutoff.lean 3 declarations
- TailCountingBudget.lean 1 declarations
- TailLogImbalance.lean 2 declarations
- TailStability.lean 11 declarations
- TestFunctions.lean 2 declarations
- TransferCauchy.lean 3 declarations
- TwoBadFourier.lean 2 declarations
- UniformHomAverage.lean 1 declarations
- UniformTailStability.lean 2 declarations
- UniformWindowStability.lean 2 declarations
- UpperWindow.lean 7 declarations
- WeightedCollision.lean 8 declarations
- WeightedMomentShift.lean 1 declarations
- WeightedNormTriangle.lean 2 declarations
- WindowAverages.lean 2 declarations
- WindowMass.lean 5 declarations
- WindowTestStability.lean 3 declarations