OAI/NumberTheory/Catalan/FirstBarrier/
239 declarations, 0 contain sorry, 0 declared as axioms; 6 files
Files
- BarrierCaseOneBracketHeight.lean 46 declarations
- BarrierCaseOneDescartesX0.lean 64 declarations
- BarrierCaseOneGlobalBounds.lean 52 declarations
- BarrierCaseOnePointLogInputs.lean 40 declarations
- BarrierCaseOnePointY1.lean 36 declarations
- BarrierCaseOneRootExistence.lean 1 declarations