OAI/Probability/BinarySweep/Conditional/
123 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- AugmentedBlock.lean 11 declarations
- AugmentedComplement.lean 19 declarations
- ComplementBlocks.lean 9 declarations
- ConditionalAverage.lean 7 declarations
- ConditionalSign.lean 4 declarations
- ConditionalSpecht.lean 11 declarations
- CycleAugmentation.lean 3 declarations
- MainEasyCases.lean 4 declarations
- MainMomentInterface.lean 5 declarations
- MomentOperatorBound.lean 3 declarations
- Placement.lean 29 declarations
- PlacementAlternation.lean 2 declarations
- PlacementBlocks.lean 5 declarations
- PlacementCycleMoment.lean 5 declarations
- WeightedCycle.lean 6 declarations