OAI/NumberTheory/PrimeGaps/Density.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem344.primeAt line 9

   Also declared: ComparatorChallenges/PrimeGaps.lean:20 (same declaration text).

2. def OAI.Problem344.initialCount line 12

   Also declared: ComparatorChallenges/PrimeGaps.lean:23 (same declaration text).

3. def OAI.Problem344.lowerAsymptoticDensity line 16

   Also declared: ComparatorChallenges/PrimeGaps.lean:27 (same declaration text).

4. def OAI.Problem344.largeGapIndices line 20
5. def OAI.Problem344.ratioIncreaseIndices line 25

   Also declared: ComparatorChallenges/PrimeGaps.lean:31 (same declaration text).