`OAI/Probability/MatroidProphet/Algorithm/`

96 declarations, 0 contain sorry, 0 declared as axioms; 12 files

Files

Cost.lean 4 declarations
Expectation.lean 4 declarations
Feasible.lean 7 declarations
LayerRank.lean 9 declarations
Mean.lean 11 declarations
Observed.lean 6 declarations
Rule.lean 16 declarations
SeedLaw.lean 13 declarations
Selection.lean 5 declarations
Statistics.lean 10 declarations
WeightedPayoff.lean 2 declarations
Worst.lean 9 declarations