Main.lean`

GitHub source file

0 declarations, 0 contain sorry, 0 declared as axioms

This file declares nothing itself. It gathers the 572 imports below, so a file that imports it gets all of them.

Imports

OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ClosedLine
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.AbsPrimeMeanLe
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LocalWithList
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ListSupport
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ListLocalLeOne
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.KappaPos
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TreeVertices
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ChargedCorrectionSum
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.StepFactor
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TreeDestinationInjective
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PrimeChargeProduct
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TreeOccurrences
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SubtreeUnionWeightNonneg
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LitEdgesEmptyOfNo
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FixedCharges
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RecordedTops
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SingleEdgeWeight
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TreeOccurrencesEmptyOfFree
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PrimeFactorsCardLeLog
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TreePrimeSupport
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.OffsetAbsLe
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourcePolyDivTendsto
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.EdgeGraph
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FixedIsTagged
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.UsedPrimeReciprocal
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.BitWeight
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Directed
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GrowsSingleton
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RootNotDestination
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Topology
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SizedSet
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.CardPrimesLe
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.BinWeight
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Shape
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Nonempty
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PivotEdges
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.CenterMassTendsto
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.EarlierTuple
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.CoreTupleBins
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ShapePivotBins
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Unselected
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SlotWeight
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SlotEdgeProduct
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.AllSlotMasses
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FlatSlot
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TokenSlot
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LocalToken
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FreePieceWeight
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ShapeFromGrows
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ConnectedLitComponent
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RecordUntaggedSingleton
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Fiber
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ModifiedWeightSameBand
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TopologyTreeSteps
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.VertexIndex
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.UntaggedEdgeCode
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SpecPrimeSlot
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TaggedShape
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Support
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Enum
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LabelPrimeSet
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.AttachedMetadata
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TaggedShapeMap
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RecordPacket
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PaddedGroupWeight
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ProductCode
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PaddedWeightIdentity
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ExceptionalCodeSlot
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TaggedEdgeProduct
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FlatCode
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.BoundedMultiplicity
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.UntaggedReferenceWeight
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RecordedTopOutgoing
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FirstEdges
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GeometryGoodEdges
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.NormalizedFiberWeight
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ChargePivotAbsorption
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FactorialTotal
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FiniteSumInstanceTransfer
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourcePivotFactor
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.CodeEntropyMass
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ExceptionalBudget
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourcePivotAbsorb
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourceLengthGe
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GlobalRecord
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ReturnCountLe
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourceReturnFactor
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourceListSlotBudget
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SignedAssignedSum
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ActiveComponents
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FixedDisconnected
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RepeatedCenterUnlitCount
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LineList
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GeometryRetained
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SumPeriodBlocks
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.IntegerResiduesAdd
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RetainedKernel
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.AffineResidueEquiv
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ArithmeticSum
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ForwardSegment
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PrimeOccurrenceInterval
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ReverseSegment
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.VertexAt
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LastEdge
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ExistsNewPrime
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PrefixCoefficientNondvd
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourcePrimitiveCoefficientInputs
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SupportIffExtraOrLabel
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PrivateFamily
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SegmentEdges
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.CoefficientZeroOfNotSupport
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Test
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Precedes
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ActivityResidue
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Cylinder
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.MemSupport
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TwoTermBinomial
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.IntersectionEqBotOfSupport
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RankBot
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourceCylinderTruncation
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TestVacuous
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PrivateMono
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ResidualRankPrivateFamily
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourceManyWitnessTests
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.BoundedLists
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Witness
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.DataInjective
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.AmplitudeGeOne
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.AvgFintypeChange
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.CylinderBudget
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourceWitnessError
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourceWitnessMajorant
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.HarmonicCongruenceBound
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ArithmeticClause
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SquarefreeExpression
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Splice
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.CoordinateEquiv
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LabelPrimeSetEraseProduct
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ZeroExpression
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.EdgeAt
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LinearCoeffZeroOfNot
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Symbolic
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Ordered
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Restrict
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FactorsAppendSubset
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LinePrimeMemFullUsed
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.UnselectedCard
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourcePrimeUpper
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FirstSlot
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.WitnessConfiguration
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ExtFields
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RowFactors
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SpecSegment
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RelabelAppend
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.WitnessTestShape
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.OfRelabel
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.WitnessTestDescriptor
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SupportEqUsed
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.WitnessSlotCount
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Realizable
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.IndexedWitnessFilling
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SumEquiv
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourceWitnessDelta
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.WitnessEntropyBase
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourceWitnessBasicScales
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.EventuallyConstPowLeExp
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SpecificationTemplate
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SpecificationSlotCount
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SpecificationPrefactor
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.DensitySizeLeTestSize
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LocalUnlitCount
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TotalCodeMass
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LinePrimeCode
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TiltedListLocalMean
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RepeatedUnlitTotalEqFixed
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.UnlitPolynomialBound
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.AllCoreLit
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.OrientedSubpathRefl
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.NoFixedQualifyingPath
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.UncutTreeEdges
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TotalUnlitCountEqSubtype
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.EdgeInjective
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.CoefficientEqSingle
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Spec
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GapPathCode
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GapTemplate
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PrimeIndex
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GoodGapTemplate
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GapFilling
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PackedGapSum
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PackedGapPrefactor
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PathTop
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Edges
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GapShapes
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ForestCuts
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Subpath
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ActivityGapIndices
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PostGapErrorSum
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TreeEdge
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Block
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Append
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TreeEdgeInjective
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.WalkBetweenSupport
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.WalkVertices
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ActiveReachable
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ComponentBoundAfterGap
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.AvoidEdgeSuffix
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.CorruptWitness
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.IndependentTests
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.DivisorPath
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.DivisorPathTemplate
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.DivisorPathFilling
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.PackedGapPrefactorMonoPath
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.DisconnectedErrorSum
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FarCorrupted
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TreeBlocksWithEdges
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.AllForward
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FarBlockPair
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.BlockEdges
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.VerticesInBlock
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Expression
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GapEmpty
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Constant
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.OrderedSelection
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FarTemplate
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.RootCode
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FarFilling
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FarTestSizePolynomial
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ConnectedSet
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ConnectedSetPath
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.MemTakeIndex
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.BelowChain
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.DisjointIntervals
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.IntervalOverlap
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GateAncestor
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.TwoBlockRerooting
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.EdgeGraphMono
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.WalkSupportConnected
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.LitEdgesSubsetTree
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.BlockActiveCapacity
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.DisconnectedWitness
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.ExistsTreePathWithSupport
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.BlockGateExists
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.GateSelection
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.Index
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SelectedUsed
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.DisconnectedCertificate
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.WitnessBaseDoublePath
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.SourceDisconnectedCertificatesSmall
OAI.NumberTheory.OrdinaryCorrelations.HighTrace.FullArithmeticTrace
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SourceBlockMatrix
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SourceBlockMatrixTraceExpansion
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.AmplitudeSecondSum
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SumIntegralError
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.EnergyLeGram
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.LogCorrelation
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Tent
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.WeightedPartialSumBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.HasDerivAtLogPrimitive
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SumIntegralErrorLipschitz
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TentPhaseIntegral
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SumMultiples
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeHarmonicPowerBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TriangleMain
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MobiusInverse
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SquarefreeHarmonic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Reciprocal
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SieveTriangleKernel
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.NatKernelSum
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FiniteSchur
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.LogPhaseMulConj
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.RoughMellinEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.RoughHarmonicEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DivisorTriangleHighAtScale
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SieveTriangleKernelErrorAt
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.NormOneAddLeExp
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Factor
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.GeometricProduct
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CoefficientHom
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.RealPowerHom
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.UnnormalizedProductNormLe
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.VerticalSeries
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PowerSumLe
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ModOneCharacter
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Phase
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.KernelBinBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.LogBin
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FourierSeries
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Complete
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TermMangoldtEq
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MangoldtAbscissa
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.NormCauchy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.HorizontalProductBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Line
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ContinuousOnShiftRpow
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CompleteIsComplete
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CompactDerivativeSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DerivativeConstant
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ContinuousDerivativeVertical
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DerivativeVerticalBounded
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Box
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CompactUnweightedDerivativeSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Riesz
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Vertical
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CutoffSeriesEqSum
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.LogSeriesCauchyDerivative
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.LogweightError
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.RieszCoeffNorm
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CutoffSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinarySum
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PartialSmallOfTriangleSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TriangleEqCutoff
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.IntegralInverseFiveQuarters
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BandPowerLower
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.InverseBandBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.LogarithmicDeltaTendsto
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MovingCompactUnweightedSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BoundedLogSeriesCauchyDerivative
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MovingCompletePartialSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MovingSquareCompactWeightedSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MovingSquareCompactUnweightedSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SquareBoundedLogSeriesCauchy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MovingSquareCompletePartialSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CompleteInverseOne
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.KernelWeight
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.KernelConstant
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DivisorsEqFilterIoc
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ArithmeticTwist
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeCount
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BilinearPart
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.WeightedFunctionNonpretentious
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrincipalDivergence
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.KernelWeightFactor
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.UniformQuotientBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MovingPowerCompactWeightedSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.UniformPowerQuotientBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SmoothDamped
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeParameters
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.HarmonicBlockBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.UniformSmoothHarmonicBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SmoothCofactorHarmonic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SmoothPart
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeCountRoughZero
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SmoothCofactorSumEq
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ActualMassOne
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CofactorEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.NatDivRealError
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.IntervalDivisorCard
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SmoothBlock
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CutRectangle
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CapUpper
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CappedRectangle
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.IntervalWidthSum
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SmallSmoothCountFinite
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.LogSmoothPart
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Grid
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.GridMinLower
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CompressEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TwoPowerRatioLimit
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MassPowerBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ShellGridScales
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CharacterModulation
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicCofactorMellin
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.LocalSampling
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TupleProduct
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Support
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ProductSupportBand
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SparseCardOfMoment
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicCoefficientEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TerminalPrimeExceptionalProduct
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeWindow
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.AssignedLength
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.WeightedSquare
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SquareDivGe
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BinnedStage
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FactorialExp
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.E
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BinQ
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Surviving
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.AdjacentCutoff
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Alpha
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Threshold
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.HalfLeLogTwo
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MomentCoefficient
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Collect
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Coefficient
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicCofactorMellinEqPolynomial
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BadFrequencies
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ProductWeightMulHom
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MixedWeight
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TupleEntryDvdLocation
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Count
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ArithmeticPositiveGenerating
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ShiftedPowerLeExponential
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ModulationNormLeOne
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CrossTransitionEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.EvenLengthLower
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.AnalyticTransition
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FirstThresholdGain
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TransitionConstant
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FirstSampleConstant
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Poly
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BinnedRamareError
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryDirichletMeanSquareBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryMellinSamplingBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BinSumByMultiples
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BinnedRamareErrorIdentity
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinarySelbergWeightsBasic3
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinarySelbergWeightsBasic4
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SelbergPrimeSubset
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeLogReciprocalBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeCountZeroIff
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryPrimeDirichletMomentsBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryDirichletMixedMomentsBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryPrimeDirichletMomentsBasic2
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryDirichletFiberMomentsBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryArchimedeanTwistBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryCofactorDyadicBoundBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SourcePrimeFactorBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryRestrictedCofactorBasic2
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryTwoScaleCofactorBasic3
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryCofactorWeightBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryCofactorWeightBasic3
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryTwoScaleCofactorBasic4
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryNarrowGridBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryNarrowGridBasic2
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryNarrowGridBasic3
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryFrequencyChainBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BinErrorWidth
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.LogCoef
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.AllPrimeInterval
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ActualWindowMass
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SampledBudget
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ErrorSampleConstant
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.InverseBinGeometric
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.HalfGeometricIdentity
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ExistsScaledGeometricLt
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ExplicitDensityCost
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TerminalBinnedSparseExplicit
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ActualTerminalEnergyExplicit
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicMellinExplicitParameters
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.QuadraticGeometricLimit
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicMellinPowerLogarithmic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.IntegerGridSeparated
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicCoefficientSquareSum
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicGaussianSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicGaussianPowerLogarithmic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Bump
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ScaledWindow
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicLogWindowSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicLogWindowPowerLogarithmic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BoxNonneg
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Smooth
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.KernelWindow
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.KernelL1Concentration
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BumpMass
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicCoefficientSum
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.GaussianL1Numeric
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SharpSmoothingNumeric
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicGaussianL1Power
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicSharpLogPowerLogarithmic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SharpWeightTermError
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SharpWindowZeroHigh
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicWeightRemoval
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrefixSet
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.LogBorderCard
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SharpWindowIocAdd
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicSubintervalSharpSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BoxMono
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FrozenWidthError
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FrozenBandBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SharpLogGate
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicPhysicalPowerLogarithmic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TwistNormLe
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Product
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Euler
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CharBounded
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.WindowSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.WindowMulBounded
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeFactorsCardLeDyadic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.WindowBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.NormPhase
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BoxAddWidth
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicPhaseMass
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PhaseNatMul
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PhaseMulStar
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SmoothedPrimeEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PhaseAdd
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BernoulliWeight
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FloorIntersectionError
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ArithmeticGeneratingUpper
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SourcePrimeFactorBasic2
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SumRangeSuccEqIcc
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryCorrelationsBasic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CofactorNormLeOne
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CoprimePacketMinorArc
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ShiftedDual
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.UnitDual
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SumMultiplesIoc
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DualSmoothZeroLeft
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SumRangeCut
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TruncatedWeightedPacket
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.GlobalPacket
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.RoughSupportGlobal
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeBlockPacket
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PhaseEqOneIffInteger
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.NormalizedPrimeBlockBudget
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.RationalPhaseOfModEq
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ResidueFiberCard
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PhaseSubInt
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.RationalPrimeBlockBudget
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BlockDiagonalBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FixedBudget
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PeriodicEvenBoundFromNP
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MajorArcsEvenPowerLogarithmic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ExpBound
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeStart
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MajorWidth
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.RationalApproximation
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.AccuracyCancel
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CellSum
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CellSumFull
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.DyadicL1LeDiscrete
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MinorDyadicWidth
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.AllFrequencyPowerLogarithmic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ForwardSum
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrefixEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.AeNotNatTranslate
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.OrdinaryShortPowerLogarithmic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimeCountLe
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FinitePhaseGrid
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ForwardIntegrableOn
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FinitePrimeTwistsPowerLogarithmic
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Avoids
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FinEquivApply
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MassNonneg
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ProductNeZero
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Truncation
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.TruncationComparison
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Event
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.BoundaryBudget
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ReciprocalHom
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.InverseCubeSummable
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Kernel
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.Primes
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.PrimitiveTwoLower
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SourceProductSmall
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SourceLocalSum
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.EventualRoughBox
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.GoodBox
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CardFourLeEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.MeanR
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.RoughPolynomial
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.CardFourLeIntervalEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FourthLeRealEnergy
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.EventualSourceLarge
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.EnergyComplexLe
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ForwardOnUnit
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.EventualGate
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.EventualShortTwists
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.ExponentBudget
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.WeightedRoughTwistCorrelation
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.FourierMass
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.SmoothRoughCorrelation
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.RetainedChoice
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.AdmissibleFacts
OAI.NumberTheory.OrdinaryCorrelations.AbsoluteDefect.AnalyticCenteringLimsup
OAI.NumberTheory.OrdinaryCorrelations.Elliott.MeanZeroOfNonpretentious
OAI.NumberTheory.OrdinaryCorrelations.Elliott.BiasedSequenceOfFailure
OAI.NumberTheory.OrdinaryCorrelations.Elliott.WeightMeanOneLe
OAI.NumberTheory.OrdinaryCorrelations.Elliott.ProductOneBounded
OAI.NumberTheory.OrdinaryCorrelations.Elliott.BinaryCorrectedElliott

Imported by 1 file

OAI.lean