OAI/Combinatorics/KMedian/Hardness/Reduction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedian.Coverage.HasSeparator line 13
2. theorem OAI.MetricKMedian.Coverage.approximation_gives_separator line 18
3. theorem OAI.MetricKMedian.Coverage.separator_decides_reduction line 36
4. theorem OAI.MetricKMedian.Coverage.remaining_gap_obstruction line 52