OAI/Combinatorics/LowSpaceSubsetSum/Representation/
1371 declarations, 0 contain sorry, 0 declared as axioms; 125 files
Files
- RepresentationAllocatedEntries.lean 6 declarations
- RepresentationAllocatedLeaves.lean 12 declarations
- RepresentationAllocatedSurvival.lean 5 declarations
- RepresentationAllocation.lean 17 declarations
- RepresentationAllocationExecution.lean 6 declarations
- RepresentationArrayInitialization.lean 6 declarations
- RepresentationBackgroundPreparation.lean 4 declarations
- RepresentationBackgroundSource.lean 2 declarations
- RepresentationBoundedTrial.lean 1 declarations
- RepresentationBucketBounds.lean 7 declarations
- RepresentationBucketCapacity.lean 9 declarations
- RepresentationBucketProbability.lean 10 declarations
- RepresentationBucketProgram.lean 5 declarations
- RepresentationBucketWitness.lean 8 declarations
- RepresentationBudgetSampling.lean 5 declarations
- RepresentationBudgets.lean 14 declarations
- RepresentationChosenCollector.lean 8 declarations
- RepresentationChosenLeaves.lean 13 declarations
- RepresentationChosenMasks.lean 8 declarations
- RepresentationChosenStreams.lean 17 declarations
- RepresentationChosenWeights.lean 16 declarations
- RepresentationConcentration.lean 6 declarations
- RepresentationCoreFavorable.lean 4 declarations
- RepresentationDomainSoundness.lean 6 declarations
- RepresentationEmitCells.lean 25 declarations
- RepresentationEntrySoundness.lean 4 declarations
- RepresentationExtraDraw.lean 4 declarations
- RepresentationExtraPreparation.lean 6 declarations
- RepresentationExtraPrime.lean 13 declarations
- RepresentationFamilies.lean 28 declarations
- RepresentationFamilyCells.lean 8 declarations
- RepresentationFamilyPreparation.lean 12 declarations
- RepresentationFamilyWork.lean 1 declarations
- RepresentationFavorableTrial.lean 3 declarations
- RepresentationFillCells.lean 3 declarations
- RepresentationFromFamilies.lean 8 declarations
- RepresentationGroupCells.lean 6 declarations
- RepresentationHistoryCoupling.lean 23 declarations
- RepresentationInitializationCells.lean 15 declarations
- RepresentationIntegerParameters.lean 11 declarations
- RepresentationJoinCells.lean 9 declarations
- RepresentationJoinLedger.lean 5 declarations
- RepresentationKeyCells.lean 18 declarations
- RepresentationKeys.lean 32 declarations
- RepresentationLayoutExecution.lean 4 declarations
- RepresentationLayoutPreparation.lean 6 declarations
- RepresentationLeafArrays.lean 5 declarations
- RepresentationLeafDomains.lean 10 declarations
- RepresentationLeafSpace.lean 7 declarations
- RepresentationLeafWork.lean 15 declarations
- RepresentationLifetime.lean 8 declarations
- RepresentationMasks.lean 40 declarations
- RepresentationMatchingWork.lean 13 declarations
- RepresentationMixerPreparation.lean 5 declarations
- RepresentationObservationCells.lean 8 declarations
- RepresentationOneCells.lean 7 declarations
- RepresentationParameterPreparation.lean 7 declarations
- RepresentationParentComplete.lean 13 declarations
- RepresentationParentStream.lean 16 declarations
- RepresentationPivotWork.lean 20 declarations
- RepresentationPrefixArrays.lean 7 declarations
- RepresentationPrefixSource.lean 1 declarations
- RepresentationPrefixWork.lean 11 declarations
- RepresentationPreparationWork.lean 2 declarations
- RepresentationPreparedAcceptance.lean 5 declarations
- RepresentationPreparedFields.lean 2 declarations
- RepresentationPreparedTrial.lean 8 declarations
- RepresentationPrimePreparation.lean 8 declarations
- RepresentationPrimeTrial.lean 5 declarations
- RepresentationProgram.lean 8 declarations
- RepresentationQueryBound.lean 7 declarations
- RepresentationReaderCells.lean 8 declarations
- RepresentationReaderWork.lean 27 declarations
- RepresentationRecordInitialization.lean 9 declarations
- RepresentationRecordSort.lean 11 declarations
- RepresentationReplayCells.lean 3 declarations
- RepresentationReportCells.lean 4 declarations
- RepresentationResidueDraws.lean 10 declarations
- RepresentationResiduePreparation.lean 5 declarations
- RepresentationResidues.lean 24 declarations
- RepresentationResourceBounds.lean 13 declarations
- RepresentationResourceMoments.lean 67 declarations
- RepresentationRuntimeAcceptance.lean 4 declarations
- RepresentationRuntimeFavorable.lean 9 declarations
- RepresentationRuntimeLaw.lean 18 declarations
- RepresentationSamplerCoupling.lean 27 declarations
- RepresentationSamplerExecution.lean 36 declarations
- RepresentationSamplerWork.lean 16 declarations
- RepresentationSamplingLoss.lean 7 declarations
- RepresentationScalarBounds.lean 4 declarations
- RepresentationScalarCells.lean 14 declarations
- RepresentationScalarDraws.lean 9 declarations
- RepresentationScanBound.lean 7 declarations
- RepresentationScanTrial.lean 5 declarations
- RepresentationSchedule.lean 13 declarations
- RepresentationScheduleLedger.lean 11 declarations
- RepresentationScheduleMatching.lean 7 declarations
- RepresentationSchedulePreparation.lean 9 declarations
- RepresentationScheduleQueries.lean 5 declarations
- RepresentationScheduleTrial.lean 4 declarations
- RepresentationScheduleUniverse.lean 13 declarations
- RepresentationScheduleWitness.lean 5 declarations
- RepresentationSeparatorJoint.lean 1 declarations
- RepresentationSeparatorParameters.lean 3 declarations
- RepresentationSeparatorTrial.lean 9 declarations
- RepresentationSnapshotCells.lean 6 declarations
- RepresentationSnapshots.lean 4 declarations
- RepresentationSortCells.lean 7 declarations
- RepresentationStepCells.lean 4 declarations
- RepresentationStoredArrays.lean 13 declarations
- RepresentationStoredInitialization.lean 8 declarations
- RepresentationStoredPreparation.lean 8 declarations
- RepresentationStoredPreparationCells.lean 6 declarations
- RepresentationStoredReader.lean 30 declarations
- RepresentationStoredRecords.lean 20 declarations
- RepresentationStreamWork.lean 11 declarations
- RepresentationStreams.lean 16 declarations
- RepresentationSurvival.lean 86 declarations
- RepresentationTaskSpace.lean 9 declarations
- RepresentationTieOuterCells.lean 4 declarations
- RepresentationTieStepCells.lean 6 declarations
- RepresentationTopCoordinates.lean 4 declarations
- RepresentationTopCounts.lean 6 declarations
- RepresentationTrialCells.lean 17 declarations
- RepresentationWeightedReader.lean 12 declarations