OAI/NumberTheory/DirichletL/Inversion/
1378 declarations, 0 contain sorry, 0 declared as axioms; 155 files
Files
- AmbientProfileTower.lean 42 declarations
- CanonicalReferenceThreshold.lean 4 declarations
- CanonicalShortAttachment.lean 16 declarations
- ClippingProfiles.lean 61 declarations
- FirstGlobalCaps.lean 32 declarations
- FirstGlobalParents.lean 27 declarations
- FirstPriorityParents.lean 39 declarations
- InitialArithmetic.lean 32 declarations
- InitialCanonicalDomains.lean 3 declarations
- InitialCanonicalEnergy.lean 3 declarations
- InitialCanonicalState.lean 7 declarations
- InitialCanonicalStateSource.lean 2 declarations
- InitialCanonicalStateWindow.lean 1 declarations
- InitialClippedColumns.lean 33 declarations
- InitialCommonCutoff.lean 3 declarations
- InitialCommonForcing.lean 2 declarations
- InitialCommonLists.lean 5 declarations
- InitialCommonPool.lean 5 declarations
- InitialCommonProfile.lean 4 declarations
- InitialCommonRatios.lean 4 declarations
- InitialCommonTransform.lean 2 declarations
- InitialCommonTuples.lean 5 declarations
- InitialCompletePool.lean 4 declarations
- InitialConjugateEnergy.lean 33 declarations
- InitialDetectorSource.lean 7 declarations
- InitialDyadicAssembly.lean 12 declarations
- InitialDyadicAssemblyBounds.lean 5 declarations
- InitialDyadicAssemblyLive.lean 4 declarations
- InitialDyadicAssemblyRetained.lean 7 declarations
- InitialDyadicAssemblySourceCaps.lean 4 declarations
- InitialDyadicAssemblyTail.lean 16 declarations
- InitialDyadicAssemblyWindows.lean 7 declarations
- InitialDyadicTailBound.lean 1 declarations
- InitialDyadicTailGates.lean 6 declarations
- InitialEnergyCaller.lean 2 declarations
- InitialEnergyCallerAllSlots.lean 2 declarations
- InitialEnergyCallerAllocation.lean 4 declarations
- InitialEnergyCallerAssigned.lean 14 declarations
- InitialEnergyCallerAssignedCanonical.lean 1 declarations
- InitialEnergyCallerAssignedPair.lean 2 declarations
- InitialEnergyCallerBranch.lean 1 declarations
- InitialEnergyCallerCanonical.lean 5 declarations
- InitialEnergyCallerClipping.lean 3 declarations
- InitialEnergyCallerEmpty.lean 2 declarations
- InitialEnergyCallerFamily.lean 4 declarations
- InitialEnergyCallerFixedWindows.lean 2 declarations
- InitialEnergyCallerGeometry.lean 6 declarations
- InitialEnergyCallerIntegral.lean 1 declarations
- InitialEnergyCallerMass.lean 3 declarations
- InitialEnergyCallerModes.lean 6 declarations
- InitialEnergyCallerOpposite.lean 3 declarations
- InitialEnergyCallerPhysical.lean 1 declarations
- InitialEnergyCallerPool.lean 5 declarations
- InitialEnergyCallerRanges.lean 4 declarations
- InitialEnergyCallerRays.lean 1 declarations
- InitialEnergyCallerReference.lean 1 declarations
- InitialEnergyCallerSector.lean 2 declarations
- InitialEnergyCallerSelector.lean 5 declarations
- InitialEnergyCallerSource.lean 11 declarations
- InitialEnergyCallerSourceMask.lean 8 declarations
- InitialEnergyCallerState.lean 5 declarations
- InitialEnergyCallerSupport.lean 2 declarations
- InitialEnergyCallerUniform.lean 2 declarations
- InitialEnergyCallerUnits.lean 5 declarations
- InitialEnergyCallerWeights.lean 3 declarations
- InitialEnergyCallerWindow.lean 5 declarations
- InitialEnergyCallerWindowGeometry.lean 3 declarations
- InitialEnergyCallerWindows.lean 6 declarations
- InitialExcludedElement.lean 4 declarations
- InitialExcludedEnergy.lean 4 declarations
- InitialExcludedForcing.lean 3 declarations
- InitialExcludedFourier.lean 1 declarations
- InitialExcludedGeometry.lean 8 declarations
- InitialExcludedOverlap.lean 5 declarations
- InitialExcludedPeriod.lean 11 declarations
- InitialExcludedPolynomial.lean 7 declarations
- InitialExcludedPool.lean 5 declarations
- InitialExcludedSource.lean 9 declarations
- InitialFibers.lean 19 declarations
- InitialFiniteEnergy.lean 1 declarations
- InitialHighFrequencyTail.lean 1 declarations
- InitialHighFrequencyTailAggregate.lean 1 declarations
- InitialHighFrequencyTailAnnulus.lean 2 declarations
- InitialHighFrequencyTailCoefficient.lean 3 declarations
- InitialHighFrequencyTailFiber.lean 3 declarations
- InitialHighFrequencyTailGeometry.lean 3 declarations
- InitialHighFrequencyTailInfinite.lean 3 declarations
- InitialHighFrequencyTailKernel.lean 5 declarations
- InitialHighFrequencyTailPower.lean 2 declarations
- InitialHighFrequencyTailRapid.lean 1 declarations
- InitialHighFrequencyTailScale.lean 3 declarations
- InitialHighFrequencyTailSource.lean 8 declarations
- InitialHighFrequencyTailWeights.lean 3 declarations
- InitialInputRadial.lean 2 declarations
- InitialInputReindex.lean 3 declarations
- InitialKernelBridge.lean 34 declarations
- InitialLargeFourier.lean 1 declarations
- InitialLargePool.lean 4 declarations
- InitialMarkedAssignedGeometry.lean 8 declarations
- InitialMarkedDictionary.lean 3 declarations
- InitialMarkedInputEnergy.lean 2 declarations
- InitialMarkedReserve.lean 2 declarations
- InitialOriginalHeight.lean 4 declarations
- InitialOverlap.lean 33 declarations
- InitialOverlapEnergy.lean 1 declarations
- InitialOverlapFourier.lean 10 declarations
- InitialOverlapFresh.lean 2 declarations
- InitialOverlapHeight.lean 1 declarations
- InitialOverlapIdealFourier.lean 7 declarations
- InitialOverlapInputFourier.lean 2 declarations
- InitialOverlapSource.lean 4 declarations
- InitialPhysicalLimit.lean 5 declarations
- InitialPhysicalMeasure.lean 39 declarations
- InitialPhysicalReassembly.lean 14 declarations
- InitialPhysicalSlots.lean 8 declarations
- InitialPoissonBridge.lean 36 declarations
- InitialProfile.lean 46 declarations
- InitialProfileBounds.lean 6 declarations
- InitialQuotientGeometry.lean 34 declarations
- InitialRawDictionary.lean 12 declarations
- InitialRayAttachment.lean 26 declarations
- InitialResidualPool.lean 1 declarations
- InitialResidualTupleEnergy.lean 1 declarations
- InitialResidualUniformEnergy.lean 1 declarations
- InitialRetainedPhysical.lean 1 declarations
- InitialRetainedSum.lean 1 declarations
- InitialRetainedSupport.lean 4 declarations
- InitialRetainedWindow.lean 1 declarations
- InitialTotalEnergy.lean 1 declarations
- InitialTotalFourier.lean 1 declarations
- InitialTotalRows.lean 1 declarations
- InitialUniformFresh.lean 1 declarations
- InitialZeroMode.lean 2 declarations
- InitialZeroModeBudget.lean 1 declarations
- InitialZeroModePhysical.lean 3 declarations
- KernelSourceUniform.lean 13 declarations
- PrincipalEnergy.lean 29 declarations
- PrioritySecondSource.lean 26 declarations
- ReflectedArithmeticHeight.lean 6 declarations
- ReflectedNormalization.lean 7 declarations
- ReflectedShortGeneratorUniformDegree.lean 1 declarations
- ReflectedShortNormalizedUniformDegree.lean 1 declarations
- ReflectedShortPowerUniformDegree.lean 1 declarations
- ReflectedShortUniformDegree.lean 1 declarations
- SecondChildWindows.lean 9 declarations
- SecondFibers.lean 29 declarations
- SecondPrincipalCaller.lean 22 declarations
- SecondProfileUniform.lean 37 declarations
- SecondSourceBlocks.lean 36 declarations
- SecondUniformCutoff.lean 9 declarations
- ShortCanonicalNormalization.lean 6 declarations
- TerminalWidths.lean 46 declarations
- WholePriorityRapidTail.lean 8 declarations
- WholePriorityRetainedSource.lean 25 declarations
- WholePriorityValidSource.lean 14 declarations