OAI/NumberTheory/Catalan/Energy/
839 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- BarrierAtanArgument.lean 11 declarations
- BarrierBracketRootSimplicity.lean 2 declarations
- BarrierChebyshevLogFormula.lean 11 declarations
- BarrierChebyshevUSeries.lean 4 declarations
- BarrierCoefficientConvolution.lean 2 declarations
- BarrierComplexOctantRange.lean 24 declarations
- BarrierDescartesCoefficientDegree.lean 15 declarations
- BarrierFinitePotentialDerivatives.lean 4 declarations
- BarrierFinitePotentialRat.lean 35 declarations
- BarrierFractionAlgebra.lean 4 declarations
- BarrierGlobalMaxReduction.lean 7 declarations
- BarrierLogRatConstants.lean 40 declarations
- BarrierPowerLogFormula.lean 5 declarations
- BarrierRationalSumNumerator.lean 4 declarations
- BarrierTailPairRational.lean 72 declarations
- BarrierTrialPowerHasSum.lean 4 declarations
- BarrierTrialUHasSum.lean 4 declarations
- BarrierTwoNormPPrefix060.lean 140 declarations
- BarrierTwoNormVPrefix048.lean 60 declarations
- BarrierTwoNormVPrefix096.lean 60 declarations
- BarrierTwoNormVPrefix144.lean 60 declarations
- BarrierTwoNormVPrefix192.lean 60 declarations
- BarrierTwoNormVPrefix225.lean 43 declarations
- FirstSheetBoundaryMeasure.lean 10 declarations
- FirstSheetHilbertDeterminant.lean 1 declarations
- FirstSheetReproducingKernel.lean 7 declarations
- ManuscriptBarrierFieldIntervals.lean 6 declarations
- RealSheetIntegral.lean 42 declarations
- RealSheetIntegralBound.lean 10 declarations
- RealTwoSheetIntegralBound.lean 82 declarations
- ZetaOffDiagonal.lean 10 declarations