OAI/Combinatorics/BalancedRyser/Local/
1075 declarations, 0 contain sorry, 0 declared as axioms; 126 files
Files
- AlignedCoordinateAveraging.lean 1 declarations
- AlignedFreeCoordinates.lean 8 declarations
- AlignedFreeCylinders.lean 8 declarations
- AlignedFreshCoordinate.lean 3 declarations
- AlignedFreshHistory.lean 2 declarations
- AlignedGlobalCardinality.lean 6 declarations
- AlignedGlobalCurrentTuple.lean 7 declarations
- AlignedGlobalEarlyUsedTest.lean 3 declarations
- AlignedGlobalGeneratorTest.lean 3 declarations
- AlignedGlobalHistory.lean 17 declarations
- AlignedGlobalProduct.lean 11 declarations
- AlignedHistoryKernel.lean 7 declarations
- AlignedListProbability.lean 10 declarations
- AlignedPointExposure.lean 9 declarations
- AlignedPointLaw.lean 4 declarations
- AlignedProjectedCollinearTest.lean 3 declarations
- AlignedProjectedExposure.lean 6 declarations
- AlignedProjectedMean.lean 2 declarations
- AlignedStateTransition.lean 15 declarations
- AlignedTokenPointLaw.lean 7 declarations
- AlignedUnusedLaw.lean 17 declarations
- AlignedUnusedTripleBound.lean 4 declarations
- AlignedUsedObservable.lean 10 declarations
- AlignedUsedTestTransport.lean 11 declarations
- AlignmentNoBias.lean 5 declarations
- AlignmentNormalization.lean 4 declarations
- AlignmentStepLaw.lean 8 declarations
- ChildAlignment.lean 32 declarations
- ConfigurationReuse.lean 2 declarations
- FinalLocalEndpoint.lean 1 declarations
- FiniteLocalLemma.lean 8 declarations
- GlobalAlignedParentCoordinates.lean 13 declarations
- GlobalPartialAlignment.lean 6 declarations
- GlobalReuseTargetSum.lean 3 declarations
- HalfWeightLocalLemma.lean 2 declarations
- InjectionAuxiliaryExposure.lean 5 declarations
- InjectionConditioning.lean 2 declarations
- InjectionExposure.lean 17 declarations
- InjectionExposureLaw.lean 17 declarations
- InjectionExposureMixture.lean 6 declarations
- Local.lean 35 declarations
- LocalAcyclicSpecifications.lean 3 declarations
- LocalAlignedReuseCounting.lean 5 declarations
- LocalAnchorExclusion.lean 9 declarations
- LocalAsymptotics.lean 11 declarations
- LocalBadCoverSpecifications.lean 3 declarations
- LocalConditionFibers.lean 11 declarations
- LocalConditionSpec.lean 14 declarations
- LocalConditionUnusedSupport.lean 3 declarations
- LocalConfigurationPattern.lean 40 declarations
- LocalCoverMarking.lean 18 declarations
- LocalDirectionAssignments.lean 12 declarations
- LocalEndpointAssembly.lean 2 declarations
- LocalEndpointCompletion.lean 1 declarations
- LocalEndpointReduction.lean 1 declarations
- LocalExposureTiming.lean 8 declarations
- LocalFailureReduction.lean 3 declarations
- LocalFailureSummation.lean 7 declarations
- LocalFiberBounds.lean 18 declarations
- LocalFourEventProbability.lean 5 declarations
- LocalFourEventUnion.lean 2 declarations
- LocalFourEventWitnesses.lean 6 declarations
- LocalFourEvents.lean 29 declarations
- LocalHighReuse.lean 4 declarations
- LocalHighReuseEndpoint.lean 1 declarations
- LocalInjectionBudget.lean 2 declarations
- LocalInjectionFreeLaw.lean 8 declarations
- LocalInjectionLaw.lean 8 declarations
- LocalKernel.lean 19 declarations
- LocalLemma.lean 2 declarations
- LocalNoninjectiveContribution.lean 4 declarations
- LocalParentMap.lean 20 declarations
- LocalPatternCodes.lean 13 declarations
- LocalPatternEvents.lean 6 declarations
- LocalPatternTransport.lean 20 declarations
- LocalPrecoverageTransport.lean 8 declarations
- LocalPrescribedGeometry.lean 7 declarations
- LocalPrescriptionCounting.lean 14 declarations
- LocalQuantitativeAssembly.lean 10 declarations
- LocalSelectedKernel.lean 13 declarations
- LocalSmallReuseAssembly.lean 5 declarations
- LocalSpecificationEncoding.lean 1 declarations
- LocalSpecificationProbability.lean 3 declarations
- LocalSpecificationTransport.lean 1 declarations
- LocalSummationArithmetic.lean 3 declarations
- LocalSurplus.lean 7 declarations
- LocalTiming.lean 7 declarations
- LocalTupleReindex.lean 15 declarations
- LocalTwoReuseAssembly.lean 8 declarations
- LocalTwoReuseEndpoint.lean 6 declarations
- LocalTwoReuseMean.lean 8 declarations
- LocalTwoReuseUsedEvents.lean 7 declarations
- LocalUnusedEventBridge.lean 5 declarations
- LocalUnusedOffsetProbability.lean 12 declarations
- LocalUnusedTripleProbability.lean 6 declarations
- LocalUsedEventMean.lean 8 declarations
- LocalUsedEventTiming.lean 6 declarations
- LocalUsedEventUnion.lean 16 declarations
- LocalUsedFreshMean.lean 5 declarations
- LowReuseOrder.lean 4 declarations
- MeasureLocalLemma.lean 3 declarations
- OneReuseDecomposition.lean 3 declarations
- PartialAlignment.lean 16 declarations
- ReuseConditionalSum.lean 2 declarations
- ReuseExtensionArithmetic.lean 3 declarations
- ReuseExtensionSum.lean 4 declarations
- ReuseExtensionTable.lean 5 declarations
- ReuseGlobalExtension.lean 4 declarations
- ReuseOrdering.lean 10 declarations
- ReusePatternCounting.lean 19 declarations
- ReusePrefix.lean 17 declarations
- ReusePrefixExtension.lean 5 declarations
- ReusePrescriptions.lean 30 declarations
- ReuseSchedule.lean 8 declarations
- ReuseScheduleAggregation.lean 10 declarations
- ReuseScheduleBounds.lean 15 declarations
- ReuseScore.lean 10 declarations
- ReuseSourceWitness.lean 13 declarations
- ReuseTargetDirections.lean 1 declarations
- ReuseTargetSum.lean 10 declarations
- ReuseTower.lean 5 declarations
- ReuseWeightedBound.lean 5 declarations
- ReuseWitness.lean 5 declarations
- SmallReusePermutation.lean 4 declarations
- TupleAlignment.lean 20 declarations
- TwoReuseEndpoint.lean 5 declarations