`OAI/Probability/MatroidProphet/`

1077 declarations, 0 contain sorry, 0 declared as axioms; 125 files

Folders

Algorithm/ 12 files, 96 declarations
Certificates/ 2 files, 10 declarations
Density/ 4 files, 59 declarations
Maximum/ 5 files, 37 declarations
Pivots/ 21 files, 144 declarations
Residual/ 16 files, 89 declarations
Reverse/ 15 files, 169 declarations

Files

AdaptiveResampling.lean 15 declarations
AnalyzedMass.lean 7 declarations
Baseline.lean 4 declarations
BatchReveal.lean 18 declarations
BranchMix.lean 14 declarations
CandidateFilter.lean 16 declarations
Candidates.lean 15 declarations
CommonBudget.lean 4 declarations
CompletePayoff.lean 6 declarations
ConditionalThinning.lean 1 declarations
Constants.lean 11 declarations
ExitNumerics.lean 10 declarations
FiniteBits.lean 21 declarations
FocalTransfer.lean 5 declarations
Gluing.lean 5 declarations
GreedyOptimal.lean 13 declarations
GroupConditioning.lean 39 declarations
GroupPayoff.lean 11 declarations
GroupSafety.lean 8 declarations
GroupTransfer.lean 2 declarations
Groups.lean 8 declarations
HazardCover.lean 4 declarations
Information.lean 14 declarations
LayerGreedy.lean 7 declarations
LayerOnline.lean 11 declarations
LayerRank.lean 5 declarations
Main.lean 4 declarations
Model.lean 31 declarations
PathRankCost.lean 4 declarations
PathStatistics.lean 9 declarations
Priority.lean 22 declarations
ProductRestriction.lean 4 declarations
ProductSplit.lean 3 declarations
RankAccounting.lean 9 declarations
RankCost.lean 6 declarations
Reduction.lean 1 declarations
RevealComposition.lean 9 declarations
RevealContinuation.lean 1 declarations
Rounding.lean 13 declarations
SafeParity.lean 11 declarations
SafeSamples.lean 6 declarations
SafeStatistics.lean 4 declarations
Seed.lean 8 declarations
SeedLaw.lean 10 declarations
Simulation.lean 24 declarations
Statements.lean 1 import, no declarations
Thinning.lean 4 declarations
WeightGroups.lean 6 declarations
WeightedAccounting.lean 4 declarations
WeightedPayoff.lean 6 declarations