OAI/Combinatorics/ContingencyTables/Dense/
1043 declarations, 0 contain sorry, 0 declared as axioms; 115 files
Files
- AffineRegion.lean 7 declarations
- AffineRegionVolume.lean 2 declarations
- CheegerCoarea.lean 14 declarations
- CheegerMedian.lean 2 declarations
- CheegerPositive.lean 4 declarations
- DenseAcceptance.lean 1 declarations
- DenseAffine.lean 5 declarations
- DenseAxisBits.lean 7 declarations
- DenseAxisProgram.lean 4 declarations
- DenseAxisProposal.lean 5 declarations
- DenseAxisSemantics.lean 6 declarations
- DenseAxisWordProgram.lean 7 declarations
- DenseBitBudget.lean 4 declarations
- DenseBooleanDraw.lean 6 declarations
- DenseBooleanOffsets.lean 3 declarations
- DenseBooleanStep.lean 5 declarations
- DenseBooleanTrial.lean 5 declarations
- DenseBooleanWalk.lean 4 declarations
- DenseBooleanWalkProgram.lean 7 declarations
- DenseBoundedRejection.lean 6 declarations
- DenseBoundedTrial.lean 9 declarations
- DenseCandidateCounts.lean 14 declarations
- DenseCanonicalProgram.lean 11 declarations
- DenseCanonicalSemantics.lean 7 declarations
- DenseChain.lean 5 declarations
- DenseCoefficients.lean 7 declarations
- DenseCompletedMatrixProgram.lean 22 declarations
- DenseCompletionProgram.lean 10 declarations
- DenseCompletionTest.lean 8 declarations
- DenseCountProgram.lean 12 declarations
- DenseCutParameters.lean 3 declarations
- DenseDrawProgram.lean 11 declarations
- DenseDrawSemantics.lean 4 declarations
- DenseDrawTabulation.lean 29 declarations
- DenseEnumeratedMatrix.lean 12 declarations
- DenseErrorArithmetic.lean 5 declarations
- DenseExponentArithmetic.lean 9 declarations
- DenseExponentBound.lean 2 declarations
- DenseExponentListProgram.lean 24 declarations
- DenseExponentListSemantics.lean 6 declarations
- DenseExponentProgram.lean 7 declarations
- DenseFiniteTransition.lean 2 declarations
- DenseFiniteWalk.lean 2 declarations
- DenseFlatExponentProgram.lean 8 declarations
- DenseGeometry.lean 6 declarations
- DenseGoodBins.lean 10 declarations
- DenseGrid.lean 10 declarations
- DenseGridExponentProgram.lean 7 declarations
- DenseIdealRejection.lean 2 declarations
- DenseIndexedCounts.lean 2 declarations
- DenseIntegerLaw.lean 10 declarations
- DenseIntegerProgram.lean 21 declarations
- DenseIntegerTable.lean 11 declarations
- DenseInteriorVolume.lean 4 declarations
- DenseLayerArithmetic.lean 1 declarations
- DenseLocalGeometry.lean 9 declarations
- DenseMatrixLayoutProgram.lean 16 declarations
- DenseMatrixProgram.lean 15 declarations
- DenseMatrixTable.lean 11 declarations
- DenseMatrixWalk.lean 17 declarations
- DenseMaximalReindex.lean 12 declarations
- DenseMetropolisProgram.lean 13 declarations
- DenseMetropolisSemantics.lean 4 declarations
- DenseMixing.lean 8 declarations
- DenseNormalizeProgram.lean 24 declarations
- DenseNormalizeSemantics.lean 21 declarations
- DenseNormalizer.lean 1 declarations
- DenseOffsetProgram.lean 16 declarations
- DenseOffsetSemantics.lean 5 declarations
- DenseOffsetTrial.lean 3 declarations
- DenseOffsetWidths.lean 13 declarations
- DenseOffsets.lean 9 declarations
- DenseRational.lean 11 declarations
- DenseRationalKernel.lean 12 declarations
- DenseRationalTrial.lean 8 declarations
- DenseRegionVolume.lean 12 declarations
- DenseRegularity.lean 7 declarations
- DenseReindexedVolume.lean 4 declarations
- DenseReservedWord.lean 15 declarations
- DenseScaleCellProgram.lean 10 declarations
- DenseScaleMatrixProgram.lean 17 declarations
- DenseScales.lean 4 declarations
- DenseStepGrowth.lean 5 declarations
- DenseSuccessCounts.lean 3 declarations
- DenseSuppliedFallback.lean 13 declarations
- DenseSwapProgram.lean 21 declarations
- DenseTableCoordinates.lean 31 declarations
- DenseTabulationScalarBounds.lean 9 declarations
- DenseTransitionCounts.lean 5 declarations
- DenseTrial.lean 10 declarations
- DenseTrialAcceptance.lean 4 declarations
- DenseTrialCountProgram.lean 11 declarations
- DenseTrialProgram.lean 21 declarations
- DenseTrialSemantics.lean 8 declarations
- DenseTrialWeights.lean 8 declarations
- DenseWalkProgram.lean 10 declarations
- DenseWalkSemantics.lean 2 declarations
- DenseWalkTabulation.lean 35 declarations
- DenseWeights.lean 11 declarations
- DenseWordProgram.lean 9 declarations
- DensityLayers.lean 3 declarations
- FiniteBoxPrekopa.lean 4 declarations
- FiniteCheegerProof.lean 3 declarations
- GridAdjacency.lean 10 declarations
- GridBoundary.lean 9 declarations
- GridConductance.lean 1 declarations
- GridCover.lean 17 declarations
- GridCutFlow.lean 8 declarations
- GridIndexProgram.lean 16 declarations
- GridMass.lean 16 declarations
- GridMeasure.lean 12 declarations
- GridMetropolis.lean 5 declarations
- GridMinCut.lean 4 declarations
- GridPartition.lean 4 declarations
- PublishedCheeger.lean 1 declarations