OAI/NumberTheory/Catalan/Main.lean
0 declarations, 0 contain sorry, 0 declared as axioms
This file declares nothing itself. It gathers the 29 imports below, so a file that imports it gets all of them.
Imports
- OAI.NumberTheory.Catalan.Analysis.ManuscriptActualLogScaling
- OAI.NumberTheory.Catalan.Arithmetic.FinitePlaceLiminf
- OAI.NumberTheory.Catalan.Determinants.PalindromicOriginalDeterminantFactorization
- OAI.NumberTheory.Catalan.Estimates.IrrationalityAlias
- OAI.NumberTheory.Catalan.Estimates.ManuscriptAllFiftyPointPrecision
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneX4SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneX5SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneX6SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneX7SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneY0SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneY1PointRounding
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneY1SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneY2PointRounding
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneY2SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneY3PointRounding
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneY3SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneY4PointRounding
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseOneY4SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseTwoNormAddedRounding
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseTwoY8PointRounding
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseTwoY8SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseTwoY9PointRounding
- OAI.NumberTheory.Catalan.Estimates.ManuscriptCaseTwoY9SubstitutionError
- OAI.NumberTheory.Catalan.Estimates.ManuscriptEnergyLimits
- OAI.NumberTheory.Catalan.FiniteMatrices.FixedGaussianManuscriptTrace
- OAI.NumberTheory.Catalan.Polynomial.ManuscriptLogCoefficientMass
- OAI.NumberTheory.Catalan.Polynomial.ManuscriptSharpBracketDerivatives
- OAI.NumberTheory.Catalan.Results.Catalan
- OAI.NumberTheory.Catalan.SecondBarrier.BarrierCaseTwoStationaryRootSimplicity