OAI/Combinatorics/KMedianRecovery/Branching/SampledSurrogate.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedianRecovery.Completion.sampledSurrogate line 12
2. lemma OAI.MetricKMedianRecovery.Completion.sampledSurrogate_feasible line 20
3. lemma OAI.MetricKMedianRecovery.Completion.sampledSurrogate_expected line 30