OAI/Probability/Ballisticity/Renewal/
101 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- ClippingPositiveNumbers.lean 2 declarations
- CurvePositiveScale.lean 3 declarations
- DurationMoment.lean 8 declarations
- DurationTail.lean 4 declarations
- PositiveLengthMark.lean 3 declarations
- PositiveOpenTest.lean 1 declarations
- PositiveQuenchedEvent.lean 2 declarations
- Regeneration.lean 22 declarations
- RegenerationWords.lean 39 declarations
- RenewalCountBounds.lean 8 declarations
- VelocityWords.lean 9 declarations