OAI/Probability/Ballisticity/Coupling/
247 declarations, 0 contain sorry, 0 declared as axioms; 33 files
Files
- CellSeedParameters.lean 3 declarations
- CountableFreshBuffer.lean 2 declarations
- FreshBudgetEvent.lean 7 declarations
- FreshBuffer.lean 1 declarations
- FreshBufferAE.lean 5 declarations
- FreshClipping.lean 1 declarations
- FreshCrossing.lean 3 declarations
- FreshMoment.lean 3 declarations
- FreshPolicyIndependence.lean 6 declarations
- FreshStages.lean 4 declarations
- FreshThreat.lean 1 declarations
- FreshWeightedTest.lean 1 declarations
- GaussianQuenchedMass.lean 2 declarations
- GaussianQuenchedTube.lean 4 declarations
- QuenchedConcentration.lean 3 declarations
- QuenchedConditionalProbability.lean 8 declarations
- QuenchedConditionedTubeTransfer.lean 1 declarations
- QuenchedGaussian.lean 2 declarations
- QuenchedMoments.lean 23 declarations
- QuenchedPrefixDeterminedFuture.lean 3 declarations
- QuenchedSuccessComparison.lean 6 declarations
- SeedIteration.lean 17 declarations
- SeedMedian.lean 32 declarations
- SeedOptions.lean 9 declarations
- SeedOrder.lean 28 declarations
- SeedProfile.lean 22 declarations
- SeedRadius.lean 5 declarations
- SeedStateOrder.lean 13 declarations
- SeedUniform.lean 6 declarations
- StageSeedProfile.lean 11 declarations
- StoppedFreshField.lean 7 declarations
- WeakLimitBoundedFreshMap.lean 4 declarations
- WeightedAnnealed.lean 4 declarations