OAI/NumberTheory/Catalan/SecondBarrier/
4238 declarations, 0 contain sorry, 0 declared as axioms; 84 files
Files
- BarrierCaseTwoBracketHeight.lean 17 declarations
- BarrierCaseTwoBracketYGroup0.lean 40 declarations
- BarrierCaseTwoDescartesX0.lean 49 declarations
- BarrierCaseTwoDescartesX0Group0.lean 10 declarations
- BarrierCaseTwoDescartesX0Group1.lean 10 declarations
- BarrierCaseTwoDescartesX0Group2.lean 10 declarations
- BarrierCaseTwoDescartesX1Group0.lean 10 declarations
- BarrierCaseTwoDescartesX1Group1.lean 10 declarations
- BarrierCaseTwoDescartesX1Group2.lean 10 declarations
- BarrierCaseTwoDescartesY0.lean 45 declarations
- BarrierCaseTwoDescartesY0Group0.lean 42 declarations
- BarrierCaseTwoDescartesY1.lean 55 declarations
- BarrierCaseTwoDescartesY2.lean 15 declarations
- BarrierCaseTwoDescartesY2Group3.lean 43 declarations
- BarrierCaseTwoDescartesY3Group3.lean 43 declarations
- BarrierCaseTwoGlobalBounds.lean 71 declarations
- BarrierCaseTwoLogApprox.lean 41 declarations
- BarrierCaseTwoLogsSixControl.lean 42 declarations
- BarrierCaseTwoLogsX0Group0.lean 42 declarations
- BarrierCaseTwoLogsX10Group0.lean 42 declarations
- BarrierCaseTwoLogsX11Group0.lean 42 declarations
- BarrierCaseTwoLogsX12Group0.lean 42 declarations
- BarrierCaseTwoLogsX13Group0.lean 42 declarations
- BarrierCaseTwoLogsX15Group0.lean 42 declarations
- BarrierCaseTwoLogsX16Group0.lean 42 declarations
- BarrierCaseTwoLogsX17Group0.lean 42 declarations
- BarrierCaseTwoLogsX18Group0.lean 42 declarations
- BarrierCaseTwoLogsX1Group0.lean 42 declarations
- BarrierCaseTwoLogsX2Group0.lean 42 declarations
- BarrierCaseTwoLogsX3Group0.lean 42 declarations
- BarrierCaseTwoLogsX4Group0.lean 42 declarations
- BarrierCaseTwoLogsX5Group0.lean 42 declarations
- BarrierCaseTwoLogsX6Group0.lean 42 declarations
- BarrierCaseTwoLogsX7Group0.lean 42 declarations
- BarrierCaseTwoLogsX8Group0.lean 42 declarations
- BarrierCaseTwoLogsX9Group0.lean 42 declarations
- BarrierCaseTwoMaxReduction.lean 47 declarations
- BarrierCaseTwoNorm.lean 2 declarations
- BarrierCaseTwoPointData.lean 41 declarations
- BarrierCaseTwoPointX0.lean 81 declarations
- BarrierCaseTwoPointX1.lean 67 declarations
- BarrierCaseTwoPointX10.lean 67 declarations
- BarrierCaseTwoPointX11.lean 67 declarations
- BarrierCaseTwoPointX12.lean 67 declarations
- BarrierCaseTwoPointX13.lean 67 declarations
- BarrierCaseTwoPointX14.lean 67 declarations
- BarrierCaseTwoPointX15.lean 67 declarations
- BarrierCaseTwoPointX16.lean 67 declarations
- BarrierCaseTwoPointX17.lean 67 declarations
- BarrierCaseTwoPointX18.lean 67 declarations
- BarrierCaseTwoPointX2.lean 67 declarations
- BarrierCaseTwoPointX3.lean 67 declarations
- BarrierCaseTwoPointX4.lean 67 declarations
- BarrierCaseTwoPointX5.lean 67 declarations
- BarrierCaseTwoPointX6.lean 67 declarations
- BarrierCaseTwoPointX7.lean 67 declarations
- BarrierCaseTwoPointX8.lean 67 declarations
- BarrierCaseTwoPointX9.lean 67 declarations
- BarrierCaseTwoPointY0.lean 66 declarations
- BarrierCaseTwoPointY1.lean 66 declarations
- BarrierCaseTwoPointY10.lean 66 declarations
- BarrierCaseTwoPointY11.lean 66 declarations
- BarrierCaseTwoPointY12.lean 66 declarations
- BarrierCaseTwoPointY13.lean 66 declarations
- BarrierCaseTwoPointY14.lean 66 declarations
- BarrierCaseTwoPointY15.lean 66 declarations
- BarrierCaseTwoPointY16.lean 66 declarations
- BarrierCaseTwoPointY17.lean 66 declarations
- BarrierCaseTwoPointY2.lean 66 declarations
- BarrierCaseTwoPointY3.lean 66 declarations
- BarrierCaseTwoPointY4.lean 66 declarations
- BarrierCaseTwoPointY5.lean 66 declarations
- BarrierCaseTwoPointY6.lean 66 declarations
- BarrierCaseTwoPointY7.lean 66 declarations
- BarrierCaseTwoPointY8.lean 66 declarations
- BarrierCaseTwoStationaryRootSimplicity.lean 2 declarations
- BarrierCaseTwoTailSums.lean 4 declarations
- BarrierCaseTwoXBaseProductCoefficientsData.lean 52 declarations
- BarrierCaseTwoXConvolutionGroup6.lean 59 declarations
- BarrierCaseTwoXExplicit.lean 37 declarations
- BarrierCaseTwoXExplicitGroup7.lean 91 declarations
- BarrierCaseTwoXRootSimplicity.lean 80 declarations
- BarrierCaseTwoXTailCoefficientsP.lean 27 declarations
- BarrierCaseTwoYRootSimplicity.lean 68 declarations