OAI/Combinatorics/BalancedRyser/Candidates/
724 declarations, 0 contain sorry, 0 declared as axioms; 90 files
Files
- CandidateAbundance.lean 3 declarations
- CandidateAbundanceAssembly.lean 9 declarations
- CandidateAsymptotics.lean 3 declarations
- CandidateBasics.lean 13 declarations
- CandidateConditionalMean.lean 7 declarations
- CandidateConstituentMoments.lean 13 declarations
- CandidateConstituentTail.lean 9 declarations
- CandidateConstituentTarget.lean 4 declarations
- CandidateConstituentTargets.lean 6 declarations
- CandidateCountAssembly.lean 2 declarations
- CandidateDistinctLaw.lean 6 declarations
- CandidateExposedWitness.lean 8 declarations
- CandidateExposure.lean 15 declarations
- CandidateExternalTransport.lean 4 declarations
- CandidateExternalTransport2.lean 4 declarations
- CandidateFirstMoment.lean 10 declarations
- CandidateGeneratorPairFamily.lean 1 declarations
- CandidateGeneratorPairModel.lean 11 declarations
- CandidateGeneratorPairMoments.lean 8 declarations
- CandidateGeneratorPairTail.lean 9 declarations
- CandidateGeometricUniform.lean 2 declarations
- CandidateGlobalLineMean.lean 7 declarations
- CandidateGlobalLineModel.lean 17 declarations
- CandidateGlobalLineTail.lean 10 declarations
- CandidateGlobalLineTotals.lean 3 declarations
- CandidateGraphEndpoint.lean 4 declarations
- CandidateGraphProbabilityReduction.lean 2 declarations
- CandidateGraphReduction.lean 1 declarations
- CandidateHighMoments.lean 7 declarations
- CandidateLabelBridge.lean 5 declarations
- CandidateLineGate.lean 7 declarations
- CandidateLineHitFamily.lean 2 declarations
- CandidateMixedExternal.lean 14 declarations
- CandidateMultiplicity.lean 6 declarations
- CandidateOccupancyBridge.lean 7 declarations
- CandidateOldExternal.lean 1 declarations
- CandidateOldExternalOverlap.lean 17 declarations
- CandidateOldOppositeOverlap.lean 4 declarations
- CandidateOppositeTransport.lean 5 declarations
- CandidatePairCounts.lean 18 declarations
- CandidatePairFibers.lean 10 declarations
- CandidatePairMoments.lean 18 declarations
- CandidatePairPatternModel.lean 10 declarations
- CandidatePointConsumer.lean 5 declarations
- CandidatePointFamily.lean 5 declarations
- CandidatePrescribedLine.lean 17 declarations
- CandidatePrescriptionTransport.lean 6 declarations
- CandidateProbabilityAssembly.lean 7 declarations
- CandidateRetention.lean 4 declarations
- CandidateRetentionBridge.lean 2 declarations
- CandidateRetentionTransport.lean 14 declarations
- CandidateRootCount.lean 8 declarations
- CandidateRootFibers.lean 27 declarations
- CandidateSecondary.lean 19 declarations
- CandidateSelectionBridge.lean 15 declarations
- CandidateSuccessfulAssembly.lean 1 declarations
- CandidateTwoLineFamily.lean 5 declarations
- CandidateTwoLineMoments.lean 19 declarations
- CandidateUniform.lean 6 declarations
- CandidateValidityAssembly.lean 14 declarations
- CandidateValidityWitness.lean 20 declarations
- CandidateWitnessProbability.lean 3 declarations
- Candidates.lean 20 declarations
- ConstituentMultiplicity.lean 5 declarations
- ConstituentOffsets.lean 4 declarations
- DeletedConstituentForcing.lean 6 declarations
- ExposedExternalFresh.lean 4 declarations
- ExposedExternalIndependent.lean 2 declarations
- ExposedExternalSum.lean 9 declarations
- ExposedOppositeSum.lean 10 declarations
- ExternalFreshGeneratorBound.lean 10 declarations
- ExternalModelIndependent.lean 4 declarations
- ExternalWitnessModel.lean 20 declarations
- ExternalWitnessModel2.lean 1 declarations
- ExternalWitnessMoments.lean 8 declarations
- ExternalWitnessOldBridge.lean 2 declarations
- ExternalWitnessTail.lean 5 declarations
- FreshExternalCount.lean 2 declarations
- FreshExternalCountBound.lean 16 declarations
- FreshExternalCounting.lean 8 declarations
- FreshExternalReview.lean 3 declarations
- FreshExternalWitness.lean 12 declarations
- MixedExternalAssembly.lean 11 declarations
- OppositeAssembly.lean 11 declarations
- OppositeCases.lean 9 declarations
- OppositeFreshConditional.lean 4 declarations
- OppositeFreshMean.lean 4 declarations
- OppositeTail.lean 8 declarations
- SelectedCandidateFixedLaw.lean 1 declarations
- SelectionCandidateLaw.lean 6 declarations