OAI/Probability/Ballisticity/Crossings/
269 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- BadCrossingLaw.lean 7 declarations
- BoundaryCrossBound.lean 1 declarations
- BoundaryFirstHits.lean 4 declarations
- CanonicalHeightCutoff.lean 4 declarations
- CommonCutCounting.lean 12 declarations
- CommonCutObserver.lean 9 declarations
- ContinuousCrossPast.lean 6 declarations
- CoordinateHitExact.lean 4 declarations
- CrossTranslation.lean 6 declarations
- CrossingEstimate.lean 1 declarations
- CrossingGap.lean 15 declarations
- CrossingGapDecay.lean 3 declarations
- CrossingSurplus.lean 5 declarations
- CutoffTimeAverages.lean 11 declarations
- DeterministicCrossBound.lean 2 declarations
- FiniteBoxExit.lean 13 declarations
- FiniteHitOscillation.lean 5 declarations
- FinitePastCrossBound.lean 2 declarations
- FirstHitPairGap.lean 9 declarations
- FirstHitUpward.lean 5 declarations
- FirstLayerHitConcat.lean 6 declarations
- FirstLayerHitRecordIndexTime.lean 5 declarations
- FirstLayerHitRecordPrefix.lean 4 declarations
- FixedLowerCutoffEscape.lean 1 declarations
- GaussianBadCutoff.lean 8 declarations
- Hit.lean 42 declarations
- HitWord.lean 15 declarations
- HittingIteration.lean 2 declarations
- LowerObservedCut.lean 7 declarations
- NearCrossEstimates.lean 4 declarations
- OccupationCutoffs.lean 1 declarations
- OffDiagonalCenteredCross.lean 8 declarations
- PastCutoffs.lean 16 declarations
- PhysicalExit.lean 2 declarations
- PhysicalFirstHitGapHitWords.lean 2 declarations
- SharedInteriorCross.lean 1 declarations
- StripExitBound.lean 5 declarations
- TailCuts.lean 13 declarations
- UniformLowerCutoff.lean 3 declarations