OAI/Combinatorics/KMedian/Reduction/
223 declarations, 0 contain sorry, 0 declared as axioms; 28 files
Files
- BadCenterBound.lean 1 declarations
- BudgetReduction.lean 7 declarations
- CloseFromServing.lean 7 declarations
- CompletionEndpoint.lean 3 declarations
- CompletionEnumeration.lean 9 declarations
- CompletionGeometry.lean 5 declarations
- CompletionMaskProgram.lean 11 declarations
- CompletionProgram.lean 13 declarations
- CompletionSelection.lean 2 declarations
- DeletionEndpoint.lean 7 declarations
- DeletionGeometry.lean 10 declarations
- DeletionHistory.lean 12 declarations
- DeletionProgram.lean 19 declarations
- LocalCompletion.lean 8 declarations
- LocalCompletionProgram.lean 25 declarations
- NormalizationGuesses.lean 8 declarations
- OrdinaryListProgram.lean 6 declarations
- RadiusPacking.lean 1 declarations
- RationalCompletion.lean 3 declarations
- RationalDeletion.lean 9 declarations
- RationalGreedyCompletion.lean 6 declarations
- RationalLocalChoice.lean 7 declarations
- RationalThreshold.lean 4 declarations
- ReductionClosure.lean 8 declarations
- ReductionCostProgram.lean 12 declarations
- ReductionOutcomesProgram.lean 11 declarations
- Sparsification.lean 4 declarations
- SparsifyEnumeration.lean 5 declarations