OAI/Probability/SATVariance/
585 declarations, 0 contain sorry, 0 declared as axioms; 35 files
Files
- BlockKilling.lean 24 declarations
- BystanderStops.lean 13 declarations
- BystanderVariance.lean 21 declarations
- CapBridge.lean 15 declarations
- CappedUpper.lean 6 declarations
- ClauseCombinatorics.lean 16 declarations
- CountMoments.lean 28 declarations
- FailureWindows.lean 12 declarations
- FiberRefresh.lean 25 declarations
- FiniteVariance.lean 21 declarations
- FirstFailure.lean 17 declarations
- FrozenReplacement.lean 10 declarations
- HallSatisfiability.lean 11 declarations
- HiddenTests.lean 13 declarations
- InsertionVariance.lean 30 declarations
- IsolatedSupports.lean 9 declarations
- LifetimePotential.lean 35 declarations
- LifetimeSharpness.lean 6 declarations
- LinearLower.lean 2 declarations
- Main.lean 1 declarations
- MarkovReplacement.lean 55 declarations
- Model.lean 16 declarations
- Moments.lean 6 declarations
- OccupationBounds.lean 2 declarations
- OmissionCompression.lean 15 declarations
- PairEvolution.lean 42 declarations
- ReplacementSharpness.lean 5 declarations
- RootDisintegration.lean 24 declarations
- SentinelBridge.lean 7 declarations
- Sharpness.lean 1 declarations
- SharpnessEstimates.lean 4 declarations
- ShuffleAverages.lean 28 declarations
- Subcube.lean 15 declarations
- SupportProbabilities.lean 21 declarations
- WeightedRewards.lean 29 declarations