`OAI/Combinatorics/ContingencyTables/Transport/`

1916 declarations, 0 contain sorry, 0 declared as axioms; 247 files

Files

AffinePenalty.lean 13 declarations
AuxiliaryRepairMass.lean 6 declarations
AxisProposalTest.lean 17 declarations
BalancedBox.lean 7 declarations
BalancedCellFibres.lean 10 declarations
BalancedCompletionMass.lean 7 declarations
BalancedEnumeration.lean 6 declarations
BalancedFamily.lean 10 declarations
BalancedJointConstruction.lean 5 declarations
BalancedPhysicalPartition.lean 5 declarations
BalancedSummation.lean 14 declarations
BooleanCountTransport.lean 1 declarations
BooleanEnumeration.lean 9 declarations
BooleanIntegerLaw.lean 4 declarations
BoundedCellShift.lean 12 declarations
BoundedOffsetLaw.lean 6 declarations
BoundedProfileSemantics.lean 5 declarations
BoundedProfileWalk.lean 28 declarations
BoundedTableComplement.lean 12 declarations
BoundedTableFeasibility.lean 14 declarations
BoxCompletion.lean 10 declarations
BoxGeometry.lean 7 declarations
CacheBoxBounds.lean 8 declarations
CanonicalDrawTabulation.lean 13 declarations
CanonicalIntegerLaw.lean 5 declarations
ChoiceContextEnumeration.lean 9 declarations
ComplementChain.lean 21 declarations
CompletionChainFlow.lean 3 declarations
CompletionCounts.lean 24 declarations
CompletionDecisionReindex.lean 2 declarations
CompletionEnergyComparison.lean 1 declarations
CompletionFibreEquiv.lean 5 declarations
CompletionFibreTransport.lean 2 declarations
CompletionKernelIdentification.lean 3 declarations
CompletionProposalLaw.lean 4 declarations
CompletionStepApproximation.lean 4 declarations
ComputedCompanionInstance.lean 5 declarations
ComputedTableTightening.lean 16 declarations
ContextAdjacentTransport.lean 13 declarations
ContextChildVariance.lean 4 declarations
ContextGraphEnergy.lean 6 declarations
ContextGraphMembership.lean 6 declarations
ContextWeightedEnumeration.lean 1 declarations
DegreeCompletion.lean 13 declarations
DirectedBFSBounds.lean 12 declarations
DirectedBFSCode.lean 22 declarations
DyadicAcceptance.lean 5 declarations
DyadicRootBisection.lean 14 declarations
EdmondsKarpAlgorithm.lean 9 declarations
EdmondsKarpAugmentation.lean 7 declarations
EdmondsKarpBound.lean 2 declarations
EdmondsKarpDistance.lean 18 declarations
EdmondsKarpTrace.lean 3 declarations
EqualityReindex.lean 5 declarations
EqualitySoftening.lean 13 declarations
ExcessContextDefects.lean 4 declarations
ExcessContextProfiles.lean 11 declarations
ExcessPairCoordinates.lean 8 declarations
FactorialSignatures.lean 48 declarations
FiniteAcceptCounts.lean 8 declarations
FiniteAdaptiveObservable.lean 6 declarations
FiniteBiasedAverages.lean 3 declarations
FiniteBoundedProjectedHistory.lean 1 declarations
FiniteChainGraphComparison.lean 1 declarations
FiniteChainSlowdown.lean 6 declarations
FiniteChainWeightVariance.lean 1 declarations
FiniteChoiceFibres.lean 2 declarations
FiniteCorrectionLaw.lean 3 declarations
FiniteDependentApproximation.lean 2 declarations
FiniteDependentLaw.lean 3 declarations
FiniteDeterministicJoint.lean 2 declarations
FiniteDirectedBFS.lean 26 declarations
FiniteExchangeDegree.lean 5 declarations
FiniteExchangeObservables.lean 5 declarations
FiniteExposureBudget.lean 1 declarations
FiniteExposureVariance.lean 8 declarations
FiniteGraphCutSemantics.lean 7 declarations
FiniteGraphPoincareBudget.lean 2 declarations
FiniteGraphRootSemantics.lean 16 declarations
FiniteGraphRoots.lean 9 declarations
FiniteGridWords.lean 31 declarations
FiniteIndependentAverages.lean 11 declarations
FiniteIndependentFailures.lean 3 declarations
FiniteLawDecidableEq.lean 3 declarations
FiniteLawMoments.lean 6 declarations
FiniteLawRelativeError.lean 1 declarations
FiniteMedianConfidence.lean 2 declarations
FiniteMetropolis.lean 5 declarations
FiniteMetropolisTransport.lean 3 declarations
FiniteObservableReindex.lean 2 declarations
FiniteObservableTransport.lean 5 declarations
FinitePaddedAverage.lean 1 declarations
FinitePartialDraw.lean 10 declarations
FinitePartitionVariance.lean 11 declarations
FinitePrefixVariance.lean 9 declarations
FiniteProductAccuracy.lean 3 declarations
FiniteProjectedHistory.lean 1 declarations
FiniteProposalStay.lean 2 declarations
FiniteRationalThreshold.lean 7 declarations
FiniteRecordedHistory.lean 5 declarations
FiniteRepairDegree.lean 6 declarations
FiniteRepairVariance.lean 4 declarations
FiniteSameLawSupport.lean 2 declarations
FiniteScaledDraw.lean 4 declarations
FiniteSupportEnergy.lean 4 declarations
FiniteSupportVariance.lean 4 declarations
FiniteSymmetricEnergy.lean 6 declarations
FiniteUniformHistory.lean 5 declarations
FirstSuccess.lean 15 declarations
FlowClamp.lean 8 declarations
FlowMatrixBounds.lean 9 declarations
GraphCompletionCounts.lean 9 declarations
GraphCompletionUnique.lean 3 declarations
GraphIntegralCompletion.lean 28 declarations
HardZeroTransport.lean 8 declarations
IndexedTableLaw.lean 11 declarations
InitialDefectChoices.lean 20 declarations
InitialFactorialLaw.lean 7 declarations
InitialTransversals.lean 13 declarations
IntegerAuxiliaryEnumeration.lean 9 declarations
IntegerBoxTruncation.lean 6 declarations
IntegerChildLogConcavity.lean 7 declarations
IntegerChildVariance.lean 7 declarations
IntegerContextSlices.lean 1 declarations
IntegerCorrectionKernel.lean 12 declarations
IntegerEquivLaw.lean 5 declarations
IntegerExchangeArithmetic.lean 2 declarations
IntegerExposure.lean 10 declarations
IntegerFutureKernel.lean 8 declarations
IntegerFutureSquare.lean 17 declarations
IntegerGraphTruncation.lean 1 declarations
IntegerLaw.lean 22 declarations
IntegerLawEmbedding.lean 2 declarations
IntegerLeafEnergy.lean 21 declarations
IntegerLeafTransport.lean 2 declarations
IntegerMarginal.lean 25 declarations
IntegerMatrixPoint.lean 13 declarations
IntegerPairRecursion.lean 16 declarations
IntegerPropagation.lean 5 declarations
IntegerPushTransport.lean 1 declarations
IntegerRecursiveFlow.lean 13 declarations
IntegerRecursivePotential.lean 4 declarations
IntegerReflection.lean 6 declarations
IntegerResidualCorrection.lean 6 declarations
IntegerRootEstimate.lean 4 declarations
IntegerRootTransport.lean 10 declarations
IntegerSliceReindex.lean 6 declarations
IntegerSliceRestriction.lean 6 declarations
IntegerTransportCoefficient.lean 2 declarations
IntegerTransportLevels.lean 5 declarations
IntegerTransportLimit.lean 6 declarations
IntegerTruncatedTransport.lean 9 declarations
IntegerWeightedTransport.lean 1 declarations
LabelledFactorial.lean 15 declarations
LaminarSignature.lean 18 declarations
LayeredTableNetwork.lean 24 declarations
LineUnarySignature.lean 6 declarations
ListBitProposal.lean 5 declarations
ListedBooleanDraw.lean 6 declarations
ListedBooleanStep.lean 5 declarations
ListedCompletion.lean 8 declarations
ListedDenseDraw.lean 11 declarations
ListedDenseProgramSemantics.lean 2 declarations
ListedIntegerLaw.lean 10 declarations
ListedKernelAccuracy.lean 9 declarations
ListedOutputSemantics.lean 11 declarations
ListedReferenceDecision.lean 4 declarations
ListedReservedDraw.lean 6 declarations
ListedScheduledSampler.lean 1 declarations
MeasuredFold.lean 1 declarations
MeasuredMap.lean 5 declarations
MetropolisChain.lean 11 declarations
NestedPenaltyApplication.lean 15 declarations
NestedProductSignature.lean 12 declarations
NestedReindex.lean 8 declarations
NetworkVertexCode.lean 12 declarations
ObservableBounds.lean 10 declarations
ObservableTrajectory.lean 2 declarations
ObservableVariance.lean 13 declarations
PairedComplement.lean 7 declarations
PairedLabels.lean 4 declarations
PairedProfileSemantics.lean 9 declarations
PathAugmentation.lean 14 declarations
PositiveSequenceInterpolation.lean 5 declarations
PositiveSequenceMinimum.lean 2 declarations
PowerOfTwoApproximation.lean 15 declarations
ProductIntegerSignature.lean 8 declarations
PublishedEdmondsKarp.lean 10 declarations
QuadraticTransport.lean 9 declarations
RationalChainCast.lean 1 declarations
RationalChainMixing.lean 1 declarations
RationalMapProducts.lean 6 declarations
RationalProducts.lean 3 declarations
RationalReindex.lean 3 declarations
RationalRootBisection.lean 5 declarations
RationalWalkApproximation.lean 4 declarations
RationalWalks.lean 2 declarations
RawSmallChoiceProperties.lean 3 declarations
RealCompletion.lean 3 declarations
RealKernelApproximation.lean 10 declarations
RealPathApproximation.lean 12 declarations
RectangleCompletions.lean 4 declarations
RecursiveSignedTransport.lean 12 declarations
ReferenceCompletionBlock.lean 6 declarations
ReferenceCompletionBounds.lean 5 declarations
ReferenceCompletionEntries.lean 1 declarations
ReferenceDrawBounds.lean 3 declarations
ReferenceEdgeAcceptance.lean 2 declarations
ReferenceFiniteDraw.lean 7 declarations
ReflectedNested.lean 6 declarations
ReflectedSlices.lean 9 declarations
RejectionLaw.lean 12 declarations
ResidualAugmentation.lean 11 declarations
ResidualBoxScale.lean 5 declarations
ResidualEnumerationBounds.lean 14 declarations
ResidualSearch.lean 13 declarations
RowColumnPenalties.lean 22 declarations
RowMajorEnumeration.lean 11 declarations
RowMajorPrefixFibres.lean 7 declarations
ScalarPenalty.lean 13 declarations
SignedMarginTranslation.lean 9 declarations
SignedTransport.lean 7 declarations
SliceFactorial.lean 4 declarations
SoftWeightUpper.lean 3 declarations
StarReindex.lean 5 declarations
StateSuccessEntries.lean 1 declarations
SuccessfulJointBijection.lean 7 declarations
TableMarginTransport.lean 2 declarations
TableReindex.lean 1 declarations
TableTightening.lean 15 declarations
TabulationMeasureBounds.lean 5 declarations
TabulationPreparationBounds.lean 1 declarations
TerminalMassCover.lean 2 declarations
TraceBounds.lean 5 declarations
TranslatedCompletionAcceptance.lean 8 declarations
TranslatedCompletionChain.lean 6 declarations
TranslatedCompletionCounts.lean 5 declarations
TranslatedCompletions.lean 12 declarations
TranslationDecisionSemantics.lean 1 declarations
TransversalCount.lean 11 declarations
TwoLiftStates.lean 28 declarations
UnaryMarkers.lean 4 declarations
UniformPartialRejection.lean 6 declarations
WarmKernelIteration.lean 2 declarations
WeightedCellFibres.lean 1 declarations
WordCompletionStep.lean 2 declarations
WordContextVariance.lean 3 declarations