OAI/NumberTheory/CubicMoment/Decomposition/
555 declarations, 0 contain sorry, 0 declared as axioms; 200 files
Files
- Decomposition.lean 8 declarations
- DistinguishedArityRows.lean 3 declarations
- DistinguishedCoefficients.lean 4 declarations
- DistinguishedComplementMass.lean 3 declarations
- DistinguishedCoordinateReindex.lean 2 declarations
- DistinguishedDoubleArity.lean 4 declarations
- DistinguishedNoStop.lean 3 declarations
- DistinguishedPrimeCollection.lean 2 declarations
- DistinguishedPrimeGeometry.lean 4 declarations
- DistinguishedPrimeTuples.lean 2 declarations
- DistinguishedPrimeVariation.lean 5 declarations
- DistinguishedPrimeZero.lean 1 declarations
- DistinguishedProductPairs.lean 4 declarations
- DistinguishedRoughness.lean 3 declarations
- DistinguishedRowsSaving.lean 1 declarations
- DistinguishedScalePartition.lean 6 declarations
- DistinguishedScaleRows.lean 7 declarations
- DistinguishedStoppingMatrix.lean 3 declarations
- DistinguishedStoppingWeights.lean 3 declarations
- DistinguishedTupleRows.lean 2 declarations
- DistinguishedUniform.lean 1 declarations
- NoStopCentral.lean 2 declarations
- NoStopCoefficient.lean 3 declarations
- NoStopNegligible.lean 1 declarations
- NoStopParameters.lean 2 declarations
- NoStopSupport.lean 3 declarations
- PrimeProductBilinear.lean 1 declarations
- PrimeProductCenteredTail.lean 1 declarations
- PrimeProductDetector.lean 7 declarations
- PrimeProductEnvelope.lean 13 declarations
- PrimeProductHeight.lean 6 declarations
- PrimeProductMellinTail.lean 2 declarations
- PrimeProductModelMass.lean 2 declarations
- PrimeProductPolynomialBounds.lean 9 declarations
- PrimeProductSharpMoments.lean 5 declarations
- PrimeProductSmoothedBilinear.lean 1 declarations
- StoppedAbsoluteMass.lean 5 declarations
- StoppedActualCommon.lean 1 declarations
- StoppedActualRange.lean 1 declarations
- StoppedAllTuples.lean 1 declarations
- StoppedBilinearOverlap.lean 2 declarations
- StoppedBinDecomposition.lean 6 declarations
- StoppedBinMoment.lean 3 declarations
- StoppedBinSaving.lean 1 declarations
- StoppedBoundedAnnulus.lean 2 declarations
- StoppedBoundedDivisor.lean 3 declarations
- StoppedBoundedMass.lean 3 declarations
- StoppedBoundedMellin.lean 2 declarations
- StoppedBoundedRadial.lean 1 declarations
- StoppedBoundedTail.lean 3 declarations
- StoppedBoundedTotal.lean 3 declarations
- StoppedCenteredBilinear.lean 1 declarations
- StoppedCharacterRows.lean 5 declarations
- StoppedCoefficientBounds.lean 5 declarations
- StoppedCoefficients.lean 10 declarations
- StoppedCommonBound.lean 4 declarations
- StoppedCommonCoefficient.lean 7 declarations
- StoppedCommonEnergy.lean 4 declarations
- StoppedCommonGeometry.lean 2 declarations
- StoppedCommonLogSaving.lean 1 declarations
- StoppedCommonLogScale.lean 2 declarations
- StoppedCommonPointwise.lean 3 declarations
- StoppedCommonPowers.lean 3 declarations
- StoppedCommonRemainder.lean 1 declarations
- StoppedCommonScale.lean 1 declarations
- StoppedCommonSquareDivisor.lean 1 declarations
- StoppedCommonTail.lean 1 declarations
- StoppedComplementMass.lean 1 declarations
- StoppedCoreBlocks.lean 1 declarations
- StoppedCoreScale.lean 3 declarations
- StoppedCorrectedDispersion.lean 1 declarations
- StoppedCubeError.lean 2 declarations
- StoppedCubeExclusion.lean 2 declarations
- StoppedCubeMass.lean 1 declarations
- StoppedCubeModel.lean 1 declarations
- StoppedCubeRoughness.lean 3 declarations
- StoppedCubeScale.lean 3 declarations
- StoppedDistinguishedFull.lean 3 declarations
- StoppedDistinguishedIdentity.lean 2 declarations
- StoppedDistinguishedIntervals.lean 2 declarations
- StoppedDistinguishedLogSaving.lean 1 declarations
- StoppedDistinguishedRow.lean 2 declarations
- StoppedDistinguishedRows.lean 2 declarations
- StoppedDistinguishedSaving.lean 1 declarations
- StoppedDivisorAnnulus.lean 1 declarations
- StoppedDivisorAssembly.lean 2 declarations
- StoppedDivisorCube.lean 4 declarations
- StoppedDivisorCutoff.lean 1 declarations
- StoppedDivisorDyadic.lean 1 declarations
- StoppedDivisorEnvelope.lean 2 declarations
- StoppedDivisorExclusion.lean 6 declarations
- StoppedDivisorGeometry.lean 1 declarations
- StoppedDivisorLogScale.lean 2 declarations
- StoppedDivisorMellinTail.lean 1 declarations
- StoppedDivisorModel.lean 1 declarations
- StoppedDivisorPartition.lean 2 declarations
- StoppedDivisorPowers.lean 2 declarations
- StoppedDivisorRows.lean 7 declarations
- StoppedDivisorScale.lean 3 declarations
- StoppedDivisorTailPower.lean 2 declarations
- StoppedDivisorTotal.lean 1 declarations
- StoppedDyadPartition.lean 8 declarations
- StoppedDyadRestriction.lean 3 declarations
- StoppedEarlyDivisorMass.lean 1 declarations
- StoppedEmptyTuple.lean 1 declarations
- StoppedFilteredCore.lean 3 declarations
- StoppedFullModel.lean 1 declarations
- StoppedIntervalRestriction.lean 4 declarations
- StoppedKernelRange.lean 4 declarations
- StoppedLargeDivisorMass.lean 1 declarations
- StoppedLargeDivisorPower.lean 1 declarations
- StoppedLargeDivisorRows.lean 1 declarations
- StoppedLargestRoles.lean 3 declarations
- StoppedLongBinSaving.lean 3 declarations
- StoppedLowCoreMass.lean 1 declarations
- StoppedMatrixDyads.lean 6 declarations
- StoppedMellinIntegral.lean 1 declarations
- StoppedMellinRows.lean 4 declarations
- StoppedMellinScale.lean 3 declarations
- StoppedMixedLogSaving.lean 1 declarations
- StoppedMixedModel.lean 3 declarations
- StoppedMixedScale.lean 1 declarations
- StoppedMixedTypeI.lean 1 declarations
- StoppedModelNorm.lean 2 declarations
- StoppedModelOverlap.lean 2 declarations
- StoppedNoncubeMass.lean 1 declarations
- StoppedNormMellin.lean 1 declarations
- StoppedOrdinaryLowSaving.lean 1 declarations
- StoppedOuterEnergy.lean 1 declarations
- StoppedOverlapScale.lean 1 declarations
- StoppedPoissonTail.lean 4 declarations
- StoppedPrimeBox.lean 1 declarations
- StoppedPrimeFactorization.lean 2 declarations
- StoppedPrimeIntervals.lean 9 declarations
- StoppedPrimePredicate.lean 4 declarations
- StoppedPrimeScale.lean 3 declarations
- StoppedProductCoefficient.lean 5 declarations
- StoppedProductGaussMellin.lean 1 declarations
- StoppedProductGaussTail.lean 1 declarations
- StoppedProductGaussWindow.lean 1 declarations
- StoppedProductIntegral.lean 1 declarations
- StoppedProductLogSaving.lean 1 declarations
- StoppedProductLowSaving.lean 1 declarations
- StoppedProductMean.lean 2 declarations
- StoppedProductMellinPhase.lean 5 declarations
- StoppedProductMellinSplit.lean 5 declarations
- StoppedProductModel.lean 7 declarations
- StoppedProductModelTail.lean 1 declarations
- StoppedProductMoment.lean 3 declarations
- StoppedProductPowers.lean 4 declarations
- StoppedProductProfile.lean 13 declarations
- StoppedProductTransfer.lean 1 declarations
- StoppedProductWindowSum.lean 1 declarations
- StoppedRadialForm.lean 2 declarations
- StoppedReflectedMellin.lean 1 declarations
- StoppedRoughCommonSum.lean 2 declarations
- StoppedRoughDivisorLog.lean 1 declarations
- StoppedRoughDivisorMass.lean 1 declarations
- StoppedRoughRows.lean 4 declarations
- StoppedRoughSupport.lean 4 declarations
- StoppedRowBinShift.lean 1 declarations
- StoppedRowRestriction.lean 8 declarations
- StoppedSelectedBeta.lean 4 declarations
- StoppedSelectedCollection.lean 5 declarations
- StoppedSelectedDistinguished.lean 1 declarations
- StoppedSelectedLogSaving.lean 1 declarations
- StoppedSelectedMass.lean 1 declarations
- StoppedSelectedMoment.lean 2 declarations
- StoppedSelectedReindex.lean 5 declarations
- StoppedSelectedRow.lean 4 declarations
- StoppedSequenceSW.lean 1 declarations
- StoppedShiftedDyad.lean 1 declarations
- StoppedShortBinSaving.lean 1 declarations
- StoppedSievedModel.lean 1 declarations
- StoppedSignedMellin.lean 1 declarations
- StoppedSmallDivisorMass.lean 1 declarations
- StoppedSmoothDiscard.lean 1 declarations
- StoppedSquarefreeModel.lean 1 declarations
- StoppedTupleCollection.lean 1 declarations
- StoppedVarianceRemainder.lean 1 declarations
- StoppingBinShift.lean 8 declarations
- StoppingBoundaryShift.lean 2 declarations
- StoppingCoefficientIdentity.lean 3 declarations
- StoppingCoefficientShift.lean 6 declarations
- StoppingCount.lean 2 declarations
- StoppingFailedPair.lean 2 declarations
- StoppingFailedStage.lean 3 declarations
- StoppingLabelCollection.lean 1 declarations
- StoppingLabelWeights.lean 5 declarations
- StoppingLogBoundary.lean 3 declarations
- StoppingMatrixCollection.lean 1 declarations
- StoppingMatrixLabels.lean 1 declarations
- StoppingPrefixCrossing.lean 2 declarations
- StoppingProductSlice.lean 6 declarations
- StoppingSelectedScale.lean 6 declarations
- StoppingSliceTwoStage.lean 2 declarations
- StoppingStageCollection.lean 3 declarations
- StoppingSupportCollection.lean 2 declarations
- StoppingThreshold.lean 6 declarations
- StoppingTwoStage.lean 7 declarations