OAI/Combinatorics/KMedianRecovery/Strictness/
203 declarations, 0 contain sorry, 0 declared as axioms; 24 files
Files
- AssignmentChargesNonneg.lean 3 declarations
- BaselineDual.lean 5 declarations
- BidBound.lean 16 declarations
- BidPoly.lean 10 declarations
- ClientCharge.lean 9 declarations
- Clipped.lean 10 declarations
- ClippedBid.lean 11 declarations
- ClippedMap.lean 2 declarations
- Dual.lean 5 declarations
- DualReindex.lean 1 declarations
- IndexedPaymentCoeff.lean 10 declarations
- LinearPayment.lean 8 declarations
- MetricSurplus.lean 17 declarations
- NormalizedDual.lean 6 declarations
- OpenPaymentZero.lean 5 declarations
- OpenableMap.lean 4 declarations
- RegularDualWitness.lean 23 declarations
- RestrictBits.lean 5 declarations
- SortedDual.lean 8 declarations
- StrictnessGap.lean 19 declarations
- StrictnessGapPos.lean 5 declarations
- SurplusPostprocess.lean 19 declarations
- ValidExecutionClusterStrictness.lean 1 declarations
- ValidExecutionFinalDual.lean 1 declarations