OAI/Combinatorics/KMedian/PCP/UniformProjection.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedian.PCP.Compiler.CookProgram.projection line 23
2. def OAI.MetricKMedian.PCP.Compiler.CookProgram.projectionProgram line 26
3. lemma OAI.MetricKMedian.PCP.Compiler.CookProgram.projection_poly line 33
4. lemma OAI.MetricKMedian.PCP.Compiler.CookProgram.projection_complete line 35
5. lemma OAI.MetricKMedian.PCP.Compiler.CookProgram.projection_sound line 38
6. theorem OAI.MetricKMedian.Coverage.projection_gap_np_reductions line 47