OAI/Probability/Ballisticity/Geometry/
432 declarations, 0 contain sorry, 0 declared as axioms; 48 files
Files
- AlignedSlabs.lean 8 declarations
- BufferAllHeightRetention.lean 1 declarations
- BufferElapsedHeight.lean 3 declarations
- BufferStructuralHeight.lean 4 declarations
- CenteredHeightAdditiveUniform.lean 1 declarations
- CoordinateLanesDisjoint.lean 3 declarations
- CoordinateStrip.lean 32 declarations
- CurvePolicyTubeMass.lean 3 declarations
- CurveWordTube.lean 3 declarations
- FiniteConditionalDensityTubeTransfer.lean 3 declarations
- FiniteCoordinateApproximation.lean 5 declarations
- FinitePastCoordinates.lean 4 declarations
- FiniteWordGeometry.lean 21 declarations
- HeightIncrement.lean 15 declarations
- HeightPolygon.lean 10 declarations
- HeightPolygonRandomShiftSmall.lean 1 declarations
- HeightPolygonTranslateApply.lean 2 declarations
- HeightSlab.lean 27 declarations
- HeightTubeWindow.lean 4 declarations
- JointTubeSuccess.lean 5 declarations
- LatticeVector.lean 25 declarations
- MedianTubeFailure.lean 4 declarations
- NormHeightPolygon.lean 4 declarations
- OccupationWindow.lean 5 declarations
- PairHeight.lean 5 declarations
- RawMedianTubeSingleSite.lean 1 declarations
- RawWindow.lean 5 declarations
- RecordIndexPrefixHeight.lean 14 declarations
- RestrictedWindow.lean 2 declarations
- SignedCoordinate.lean 44 declarations
- SignedHeight.lean 22 declarations
- SignedHeightSub.lean 3 declarations
- SignedStripTruncation.lean 4 declarations
- SpatialConfinement.lean 4 declarations
- StoppedTubeEndpoint.lean 10 declarations
- StripTimeTail.lean 3 declarations
- SuccessfulAverageTubeTransfer.lean 4 declarations
- SumWindowDifference.lean 2 declarations
- TubeEndpoint.lean 11 declarations
- TubeHeightMono.lean 5 declarations
- TubePrefix.lean 10 declarations
- TubePrefixMass.lean 16 declarations
- TubePrefixMonoRadius.lean 9 declarations
- WeightedConditionedTubeTransfer.lean 1 declarations
- WindowProjection.lean 15 declarations
- WindowWeak.lean 13 declarations
- WordCoordinate.lean 17 declarations
- WordHeightGain.lean 19 declarations