OAI/Combinatorics/BalancedRyser/Probability/
1579 declarations, 0 contain sorry, 0 declared as axioms; 186 files
Files
- AcyclicProductBound.lean 7 declarations
- AlternateUsedEventUnion.lean 15 declarations
- Assembly.lean 4 declarations
- AtypicalLines.lean 5 declarations
- BernoulliTail.lean 12 declarations
- BlockCapacity.lean 8 declarations
- BlockIntersection.lean 3 declarations
- BoundedDrift.lean 1 declarations
- BoundedDriftCore.lean 4 declarations
- CenteredIncrements.lean 8 declarations
- Concentration.lean 1 declarations
- ConditionalMGFStep.lean 2 declarations
- ConditionalMultiplicity.lean 10 declarations
- ConditionalMultiplicity2.lean 5 declarations
- ConditionalOrderLaw.lean 6 declarations
- ConditionalOrderVariance.lean 12 declarations
- ConditionalRestriction.lean 10 declarations
- ConfigurationBlockCardinality.lean 30 declarations
- ConfigurationStructure.lean 22 declarations
- CoreRepresentativeEquivalence.lean 9 declarations
- CoreRepresentatives.lean 17 declarations
- CountingExposureKernel.lean 21 declarations
- CountingExposurePosterior.lean 22 declarations
- CountingJointLaw.lean 7 declarations
- CoverCountingExposure.lean 18 declarations
- CrossEqualityRegression43d8.lean 12 declarations
- CylinderConditioning.lean 8 declarations
- CylinderUnionBound.lean 8 declarations
- DistinctPairs.lean 5 declarations
- DistinctRoleLaw.lean 8 declarations
- DriftUnionBound.lean 6 declarations
- EqualityPatternOrdering.lean 13 declarations
- ExactMultiplicity.lean 7 declarations
- ExposedWitnessProbability.lean 4 declarations
- ExposureInterleaving.lean 41 declarations
- ExposureMeshLimits.lean 6 declarations
- ExposurePrefixCard.lean 2 declarations
- ExposureSchedule.lean 18 declarations
- ExposureScheduleOrder.lean 22 declarations
- FiniteCenteredPatternLemmas.lean 6 declarations
- FiniteConditionalAveraging.lean 9 declarations
- FiniteConditionalRatios.lean 3 declarations
- FiniteDependencyRank.lean 2 declarations
- FiniteExposureTower.lean 3 declarations
- FiniteFixedLaw.lean 4 declarations
- FiniteHistory.lean 15 declarations
- FiniteHistoryAdditive.lean 9 declarations
- FiniteHistoryInvariant.lean 4 declarations
- FiniteKernelPotential.lean 18 declarations
- FiniteMomentTail.lean 2 declarations
- FiniteProbability.lean 2 declarations
- FiniteUniformConcentration.lean 2 declarations
- FiniteUniformConditioning.lean 1 declarations
- FiniteUniformFibers.lean 4 declarations
- FiniteUniformTower.lean 14 declarations
- FiniteUniformVariance.lean 3 declarations
- ForcedNonsplitLabels.lean 14 declarations
- ForwardDependencyExtraction.lean 6 declarations
- FourCycle.lean 25 declarations
- FreshCoordinatePrescription.lean 4 declarations
- FreshDoublePrescription.lean 8 declarations
- FreshRandomWitness.lean 6 declarations
- FreshTupleConstraints.lean 5 declarations
- FreshTupleWitness.lean 9 declarations
- FreshWitnessConditional.lean 4 declarations
- FreshWitnessCounting.lean 3 declarations
- FreshWitnessProbability.lean 8 declarations
- FullyExposedTargets.lean 11 declarations
- GeneratorEnumeration.lean 10 declarations
- GlobalRootConditioning.lean 10 declarations
- GlobalTupleLaw.lean 4 declarations
- HypergeometricApproximation.lean 10 declarations
- IndependentDoobGrouping.lean 3 declarations
- IndependentTrialGrouping.lean 4 declarations
- IndependentTrialIncrement.lean 1 declarations
- IndependentTrialKernel.lean 5 declarations
- IndependentTrialPrefix.lean 2 declarations
- IndependentTrialReassembly.lean 4 declarations
- IndependentTrialStep.lean 2 declarations
- IndependentTrials.lean 6 declarations
- IndependentTrials2.lean 3 declarations
- IndependentTrials3.lean 19 declarations
- LogTail.lean 12 declarations
- MainAssembly.lean 6 declarations
- MultiplicityLimit.lean 12 declarations
- NearCoverFinite.lean 9 declarations
- NearCoverLimit.lean 3 declarations
- NearCoverVisibility.lean 5 declarations
- NoSmallBlockCover.lean 4 declarations
- OrderedEventCounting.lean 6 declarations
- OverlapOrdering.lean 6 declarations
- PMFConditioningMap.lean 1 declarations
- ParallelBlockCapacity.lean 11 declarations
- PatternAllowedEventTails.lean 3 declarations
- PatternAllowedGate.lean 13 declarations
- PatternAllowedSourceTails.lean 13 declarations
- PatternCancellation.lean 5 declarations
- PatternCenteredAssembly.lean 3 declarations
- PatternConditionalMean.lean 6 declarations
- PatternExposure.lean 6 declarations
- PatternExposureBoundary.lean 10 declarations
- PatternExposureIdentities.lean 8 declarations
- PatternExtension.lean 10 declarations
- PatternFiniteExposure.lean 3 declarations
- PatternFixedEventAveraging.lean 3 declarations
- PatternGate.lean 13 declarations
- PatternIntegrability.lean 36 declarations
- PatternLabelRestriction.lean 14 declarations
- PatternMarginals.lean 4 declarations
- PatternModelCancellation.lean 9 declarations
- PatternModelExpansion.lean 5 declarations
- PatternMomentModel.lean 7 declarations
- PatternMomentTails.lean 9 declarations
- PatternMoments.lean 21 declarations
- PatternMomentsLemmas.lean 31 declarations
- PatternOrderingAdapter.lean 6 declarations
- PatternPrefixSupport.lean 12 declarations
- PatternSourceTails.lean 2 declarations
- PatternSupportCompatibility.lean 5 declarations
- PatternTailAsymptotics.lean 9 declarations
- PatternWeightExtensions.lean 6 declarations
- PatternWeights.lean 9 declarations
- PermutationExposureMean.lean 2 declarations
- PermutationHistoryLaw.lean 18 declarations
- PermutationSubsetLaw.lean 13 declarations
- PointEdgeInjective.lean 2 declarations
- PointLabelInjective.lean 6 declarations
- PrimeConfigurationAssembly.lean 3 declarations
- ProbabilityPerturbation.lean 6 declarations
- ProductSubsetVariance.lean 3 declarations
- ProjectedGlobalIndependent.lean 2 declarations
- ProjectionGuardRegression684a.lean 3 declarations
- PurposefulIndices.lean 7 declarations
- RescaledDrift.lean 9 declarations
- RobustMultiplicity.lean 2 declarations
- RobustNearCover.lean 2 declarations
- RootChildCount.lean 5 declarations
- RootChildDependence.lean 8 declarations
- RootConditioning.lean 3 declarations
- RootPatternModel.lean 14 declarations
- RootSuccess.lean 10 declarations
- RootSuccessAsymptotics.lean 2 declarations
- ScheduledCountingExposure.lean 40 declarations
- ScheduledCountingLaw.lean 4 declarations
- ScheduledMarksBridge.lean 11 declarations
- SectionAssembly.lean 1 declarations
- SelectedExperimentLaw.lean 16 declarations
- SelectedJointAssembly.lean 7 declarations
- SelectedSuccessMass.lean 7 declarations
- SimultaneousDrift.lean 8 declarations
- SizeThreshold.lean 5 declarations
- SlotConditionedLaw.lean 7 declarations
- SlotEdges.lean 6 declarations
- SlotEdges2.lean 14 declarations
- SlotProbability.lean 5 declarations
- SlotProbability2.lean 19 declarations
- SlowThreshold.lean 6 declarations
- SparsePatterns.lean 29 declarations
- StoppedIncrements.lean 5 declarations
- SubGaussianTail.lean 4 declarations
- SurplusAcyclic.lean 2 declarations
- TailConditioning.lean 3 declarations
- TailConditioning2.lean 12 declarations
- TailEvents.lean 1 declarations
- TailEvents2.lean 7 declarations
- TailGraph.lean 8 declarations
- TailGraphWeights.lean 18 declarations
- TailPrescriptions.lean 2 declarations
- TailPrescriptions2.lean 5 declarations
- TailProductBounds.lean 4 declarations
- TailWeights.lean 4 declarations
- ThinningTail.lean 9 declarations
- TupleExposure.lean 7 declarations
- UncoveredExchange.lean 10 declarations
- UncoveredSubsetVariance.lean 19 declarations
- UnexposedTupleLaw.lean 3 declarations
- UniformConditionalProduct.lean 12 declarations
- UniformKernel.lean 7 declarations
- UniformOrderedSubset.lean 7 declarations
- UniformRestriction.lean 4 declarations
- UniformSubsetExposure.lean 5 declarations
- UniformThreshold.lean 4 declarations
- UnusedOffsetAveraging.lean 8 declarations
- VacantBins.lean 13 declarations
- WithoutReplacementCoupling.lean 25 declarations
- WitnessCounting.lean 4 declarations