OAI/NumberTheory/Jacobsthal/Renewal/
685 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- ClockTailReward.lean 30 declarations
- ClockWindowPassage.lean 16 declarations
- CompletedCycleFirstArrival.lean 4 declarations
- ContinuousCompletedOccupation.lean 6 declarations
- DickmanFiniteDecay.lean 61 declarations
- DickmanMoments.lean 7 declarations
- FiniteAdmittedOccupation.lean 15 declarations
- FlaggedOccupationBound.lean 9 declarations
- FullOccupationRatioTail.lean 3 declarations
- KernelPotential.lean 10 declarations
- LaplaceODE.lean 1 declarations
- LastCycleRecord.lean 9 declarations
- MarkedCycleCompletion.lean 16 declarations
- MarkedCycleWords.lean 20 declarations
- MarkedRenewalComparison.lean 9 declarations
- NonnegativeOriginalOccupation.lean 12 declarations
- OccupationAge.lean 137 declarations
- OccupationDensityIntegral.lean 6 declarations
- OddPairCycleGrouping.lean 9 declarations
- RawHitRegeneration.lean 14 declarations
- RawInitialDelay.lean 8 declarations
- RegenerationBandBounds.lean 75 declarations
- RegenerationDrift.lean 17 declarations
- RegenerationInputPotential.lean 9 declarations
- RegenerativeOddOccupation.lean 19 declarations
- RetainedOccupationLimit.lean 15 declarations
- SourceCycleDuration.lean 35 declarations
- SourceSelectedCompactOccupation.lean 3 declarations
- UniformCycleMoments.lean 108 declarations
- WeightDickmanComparison.lean 2 declarations