OAI/Probability/BinarySweep/FiniteLaws/
163 declarations, 0 contain sorry, 0 declared as axioms; 22 files
Files
- ActiveTypes.lean 9 declarations
- AssignmentSign.lean 6 declarations
- BitBlocks.lean 1 declarations
- CyclicHolder.lean 11 declarations
- FiniteLawAverage.lean 19 declarations
- FiniteProductProbability.lean 10 declarations
- HilbertMainCases.lean 4 declarations
- HilbertTranspose.lean 5 declarations
- IndependentOperator.lean 9 declarations
- IndependentPush.lean 4 declarations
- LightLineBound.lean 8 declarations
- LinearEvenMoment.lean 7 declarations
- MomentBounds.lean 5 declarations
- OccurrenceMoment.lean 5 declarations
- OneCard.lean 16 declarations
- PiCentrality.lean 5 declarations
- QuantitativeMoment.lean 2 declarations
- RemainingSign.lean 4 declarations
- SampleMoment.lean 7 declarations
- SoutheastDimension.lean 6 declarations
- SumDite.lean 1 declarations
- UniformFiniteProbability.lean 19 declarations