OAI/NumberTheory/PiExponent/Analysis/
264 declarations, 0 contain sorry, 0 declared as axioms; 32 files
Files
- AlgebraicLogarithmicObstruction.lean 10 declarations
- AnalyticAggregate.lean 6 declarations
- AnalyticCollision.lean 14 declarations
- AnalyticDeterminantCollision.lean 3 declarations
- AnalyticRowSeries.lean 3 declarations
- Collision.lean 3 declarations
- CollisionCombinatorics.lean 12 declarations
- CollisionExponential.lean 9 declarations
- CollisionGeometricSum.lean 4 declarations
- CollisionLimit.lean 4 declarations
- CollisionOccupancy.lean 6 declarations
- ColonSeriesTelescope.lean 7 declarations
- DeterminantAnalyticBound.lean 3 declarations
- DimensionLimits.lean 2 declarations
- DyadicPowers.lean 5 declarations
- DyadicSpacing.lean 8 declarations
- DyadicSummation.lean 4 declarations
- FiniteDeterminantCollision.lean 3 declarations
- FiniteSpacing.lean 6 declarations
- FlintConsequence.lean 3 declarations
- FlintHills.lean 9 declarations
- FlintSine.lean 13 declarations
- FormalLogTailOrder.lean 3 declarations
- FormalLogTruncation.lean 31 declarations
- HilbertSeries.lean 3 declarations
- LiteralAnalyticSummand.lean 23 declarations
- LogTailAnalytic.lean 22 declarations
- LogarithmicContactIdeal.lean 9 declarations
- LogarithmicObstruction.lean 9 declarations
- PeriodAnalytic.lean 18 declarations
- RegularSequenceSeries.lean 4 declarations
- TranslationCountLimit.lean 5 declarations