OAI/NumberTheory/Jacobsthal/Conclusions/
54 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- IteratedLogBound.lean 2 declarations
- IteratedLogBudget.lean 1 declarations
- IteratedLogFinite.lean 1 declarations
- IteratedLogModel.lean 1 declarations
- IteratedLogScales.lean 8 declarations
- JacobsthalBudgetSeparation.lean 2 declarations
- JacobsthalDeletionBudget.lean 1 declarations
- JacobsthalFinite.lean 8 declarations
- JacobsthalFromRootLower.lean 2 declarations
- JacobsthalProgressionLength.lean 3 declarations
- JacobsthalSourceRounding.lean 2 declarations
- JacobsthalSourceScale.lean 8 declarations
- JacobsthalSurvivorScale.lean 1 declarations
- JacobsthalTerminalScales.lean 6 declarations
- QuadraticBound.lean 1 declarations
- SourceRootCompletion.lean 1 declarations
- Targets.lean 6 declarations