OAI/Combinatorics/KMedian/Optimization/IndexedInstanceLP.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedian.Instance.indexedDistance line 12
2. theorem OAI.MetricKMedian.Instance.indexedDistance_nonneg line 15
3. theorem OAI.MetricKMedian.Instance.indexed_integral line 18
4. def OAI.MetricKMedian.Instance.computedFractional line 53
5. theorem OAI.MetricKMedian.Instance.computedFractional_spec line 59