OAI/Probability/Ballisticity/Stationary/
500 declarations, 0 contain sorry, 0 declared as axioms; 48 files
Files
- Array.lean 6 declarations
- ArrayClassProbability.lean 1 declarations
- ArrayClosed.lean 26 declarations
- ArrayDust.lean 14 declarations
- ArrayFiniteClasses.lean 13 declarations
- ArrayFull.lean 3 declarations
- ArrayMap.lean 24 declarations
- ArrayMarkTests.lean 7 declarations
- ArrayMarkedEntropy.lean 9 declarations
- ArrayMarkedIterate.lean 7 declarations
- ArrayMassSurvival.lean 10 declarations
- ArrayPermutation.lean 14 declarations
- ArrayProfileConsistency.lean 9 declarations
- ArraySurvival.lean 12 declarations
- ArrayTopology.lean 12 declarations
- ArrayWindowMarks.lean 26 declarations
- BadArrayElliptic.lean 2 declarations
- BadArraySampling.lean 2 declarations
- BadCrossingEpisodes.lean 22 declarations
- BadFiniteArray.lean 2 declarations
- CompactCapTransfer.lean 4 declarations
- EpisodeAdapted.lean 12 declarations
- EpisodeCharts.lean 27 declarations
- EpisodeCountLedger.lean 13 declarations
- EpisodeCounterChain.lean 11 declarations
- EpisodeDropLedger.lean 15 declarations
- EpisodeEntropyTelescoping.lean 2 declarations
- EpisodeExponential.lean 6 declarations
- EpisodeFresh.lean 3 declarations
- EpisodeGlobalRetention.lean 9 declarations
- EpisodeInjection.lean 21 declarations
- EpisodeLength.lean 9 declarations
- EpisodeLogLength.lean 3 declarations
- EpisodeMeanDrop.lean 6 declarations
- EpisodeNumber.lean 15 declarations
- EpisodePotentialIteration.lean 5 declarations
- EpisodeRandomStart.lean 6 declarations
- EpisodeRecordedAtlas.lean 11 declarations
- EpisodeRetention.lean 8 declarations
- LocalEpisodeLog.lean 10 declarations
- OperationalEpisode.lean 15 declarations
- StationaryArrayLaw.lean 3 declarations
- StationaryCompact.lean 14 declarations
- StationaryMarking.lean 15 declarations
- StationaryMonotone.lean 14 declarations
- StationaryProfile.lean 7 declarations
- StationaryProfile2.lean 5 declarations
- StationaryWindowEntropy.lean 10 declarations