`OAI/NumberTheory/Catalan/Analysis/`

5103 declarations, 0 contain sorry, 0 declared as axioms; 257 files

Files

BlaschkeAnalytic.lean 12 declarations
BlaschkeCauchyAnalytic.lean 4 declarations
BlaschkeDensityLogDerivative.lean 6 declarations
CauchyLocalLogBound.lean 10 declarations
CauchyLogJump.lean 6 declarations
ContactSeries.lean 8 declarations
LogMonomial.lean 2 declarations
ManuscriptActualLogScaling.lean 28 declarations
ManuscriptCaseTwoX0LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX0LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX0LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX0LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX0LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX10LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX10LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX10LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX10LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX10LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX11LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX11LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX11LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX11LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX11LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX12LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX12LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX12LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX12LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX12LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX13LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX13LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX13LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX13LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX13LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX14LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX14LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX14LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX14LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX14LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX15LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX15LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX15LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX15LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX15LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX16LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX16LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX16LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX16LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX16LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX17LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX17LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX17LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX17LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX17LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX18LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX18LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX18LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX18LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX18LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX1LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX1LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX1LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX1LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX1LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX2LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX2LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX2LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX2LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX2LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX3LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX3LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX3LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX3LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX3LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX4LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX4LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX4LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX4LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX4LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX5LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX5LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX5LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX5LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX5LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX6LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX6LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX6LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX6LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX6LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX7LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX7LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX7LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX7LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX7LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX8LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX8LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX8LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX8LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX8LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoX9LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoX9LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoX9LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoX9LogPrecisionGroup3.lean 18 declarations
ManuscriptCaseTwoX9LogPrecisionGroup4.lean 18 declarations
ManuscriptCaseTwoY0LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY0LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY0LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY10LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY10LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY10LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY11LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY11LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY11LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY12LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY12LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY12LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY13LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY13LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY13LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY14LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY14LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY14LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY15LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY15LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY15LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY16LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY16LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY16LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY17LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY17LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY17LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY1LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY1LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY1LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY2LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY2LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY2LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY3LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY3LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY3LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY4LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY4LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY4LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY5LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY5LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY5LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY6LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY6LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY6LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY7LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY7LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY7LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY8LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY8LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY8LogPrecisionGroup2.lean 18 declarations
ManuscriptCaseTwoY9LogPrecisionGroup0.lean 18 declarations
ManuscriptCaseTwoY9LogPrecisionGroup1.lean 18 declarations
ManuscriptCaseTwoY9LogPrecisionGroup2.lean 18 declarations
ManuscriptLogErrorBudgets.lean 2 declarations
ManuscriptNormLogPGroup001.lean 24 declarations
ManuscriptNormLogPGroup002.lean 24 declarations
ManuscriptNormLogPGroup003.lean 24 declarations
ManuscriptNormLogPGroup004.lean 24 declarations
ManuscriptNormLogPGroup005.lean 24 declarations
ManuscriptNormLogPGroup006.lean 24 declarations
ManuscriptNormLogPGroup007.lean 24 declarations
ManuscriptNormLogPGroup008.lean 24 declarations
ManuscriptNormLogPGroup009.lean 24 declarations
ManuscriptNormLogPGroup010.lean 24 declarations
ManuscriptNormLogPGroup011.lean 24 declarations
ManuscriptNormLogPGroup012.lean 24 declarations
ManuscriptNormLogPGroup013.lean 24 declarations
ManuscriptNormLogPGroup014.lean 24 declarations
ManuscriptNormLogPGroup015.lean 24 declarations
ManuscriptNormLogPGroup016.lean 24 declarations
ManuscriptNormLogPGroup017.lean 24 declarations
ManuscriptNormLogPGroup018.lean 24 declarations
ManuscriptNormLogPGroup019.lean 24 declarations
ManuscriptNormLogPGroup020.lean 24 declarations
ManuscriptNormLogPGroup021.lean 24 declarations
ManuscriptNormLogPGroup022.lean 24 declarations
ManuscriptNormLogPGroup023.lean 24 declarations
ManuscriptNormLogPGroup024.lean 24 declarations
ManuscriptNormLogPGroup025.lean 24 declarations
ManuscriptNormLogPGroup026.lean 24 declarations
ManuscriptNormLogPGroup027.lean 24 declarations
ManuscriptNormLogPGroup028.lean 24 declarations
ManuscriptNormLogPGroup029.lean 24 declarations
ManuscriptNormLogPGroup030.lean 24 declarations
ManuscriptNormLogPGroup031.lean 24 declarations
ManuscriptNormLogPGroup032.lean 24 declarations
ManuscriptNormLogReality.lean 21 declarations
ManuscriptNormLogVGroup000.lean 24 declarations
ManuscriptNormLogVGroup001.lean 24 declarations
ManuscriptNormLogVGroup002.lean 24 declarations
ManuscriptNormLogVGroup003.lean 24 declarations
ManuscriptNormLogVGroup004.lean 24 declarations
ManuscriptNormLogVGroup005.lean 24 declarations
ManuscriptNormLogVGroup006.lean 24 declarations
ManuscriptNormLogVGroup007.lean 24 declarations
ManuscriptNormLogVGroup008.lean 24 declarations
ManuscriptNormLogVGroup009.lean 24 declarations
ManuscriptNormLogVGroup010.lean 24 declarations
ManuscriptNormLogVGroup011.lean 24 declarations
ManuscriptNormLogVGroup012.lean 24 declarations
ManuscriptNormLogVGroup013.lean 24 declarations
ManuscriptNormLogVGroup014.lean 24 declarations
ManuscriptNormLogVGroup015.lean 24 declarations
ManuscriptNormLogVGroup016.lean 24 declarations
ManuscriptNormLogVGroup017.lean 24 declarations
ManuscriptNormLogVGroup018.lean 24 declarations
ManuscriptNormLogVGroup019.lean 24 declarations
ManuscriptNormLogVGroup020.lean 24 declarations
ManuscriptNormLogVGroup021.lean 24 declarations
ManuscriptNormLogVGroup022.lean 24 declarations
ManuscriptNormLogVGroup023.lean 24 declarations
ManuscriptNormLogVGroup024.lean 24 declarations
ManuscriptNormLogVGroup025.lean 24 declarations
ManuscriptNormLogVGroup026.lean 24 declarations
ManuscriptNormLogVGroup027.lean 24 declarations
ManuscriptNormLogVGroup028.lean 24 declarations
ManuscriptNormLogVGroup029.lean 24 declarations
ManuscriptNormLogVGroup030.lean 24 declarations
ManuscriptNormLogVGroup031.lean 24 declarations
ManuscriptNormLogVGroup032.lean 24 declarations
ManuscriptNormLogVGroup033.lean 24 declarations
ManuscriptNormLogVGroup034.lean 24 declarations
ManuscriptNormLogVGroup035.lean 24 declarations
ManuscriptNormLogVGroup036.lean 24 declarations
ManuscriptNormLogVGroup037.lean 24 declarations
ManuscriptNormLogVGroup038.lean 24 declarations
ManuscriptNormLogVGroup039.lean 24 declarations
ManuscriptNormLogVGroup040.lean 24 declarations
ManuscriptNormLogVGroup041.lean 24 declarations
ManuscriptNormLogVGroup042.lean 24 declarations
ManuscriptNormLogVGroup043.lean 24 declarations
ManuscriptNormLogVGroup044.lean 24 declarations
ManuscriptNormLogVGroup045.lean 24 declarations
ManuscriptNormLogVGroup046.lean 24 declarations
ManuscriptNormLogVGroup047.lean 24 declarations
ManuscriptNormLogVGroup048.lean 24 declarations
ManuscriptNormLogVGroup049.lean 24 declarations
ManuscriptNormLogVGroup050.lean 24 declarations
ManuscriptNormLogVGroup051.lean 24 declarations
ManuscriptNormLogVGroup052.lean 24 declarations
ManuscriptNormLogVGroup053.lean 24 declarations
ManuscriptNormLogVGroup054.lean 24 declarations
ManuscriptNormLogVGroup055.lean 24 declarations
ManuscriptNormLogVGroup056.lean 58 declarations
ManuscriptRealLogScaling.lean 4 declarations
MixedSeries.lean 11 declarations
RealEnergyKernelSeries.lean 6 declarations
RealEnergyLogMajorants.lean 18 declarations
RealEnergyLogSeries.lean 11 declarations
RealFactoredIntegral.lean 22 declarations
RealPairedIntegral.lean 26 declarations
RealPlaceLimsup.lean 11 declarations
ZetaIntegral.lean 43 declarations