OAI/Combinatorics/KMedian/Optimization/FractionalSelectProgram.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MetricKMedian.LPBinary.Scale.argmin line 14
  2. theorem OAI.MetricKMedian.LPBinary.Scale.argmin_eq line 16
  3. def OAI.MetricKMedian.LPBinary.Input.zeroOutputProgram line 46
  4. def OAI.MetricKMedian.LPBinary.Scale.candidate line 62
  5. theorem OAI.MetricKMedian.LPBinary.Scale.candidate_eq line 65
  6. def OAI.MetricKMedian.LPBinary.Scale.candidateProgram line 77
  7. def OAI.MetricKMedian.LPBinary.Scale.feasible line 84
  8. def OAI.MetricKMedian.LPBinary.Scale.selectedScale line 85
  9. def OAI.MetricKMedian.LPBinary.Scale.selected line 86
  10. theorem OAI.MetricKMedian.LPBinary.Scale.feasible_mem line 88
  11. theorem OAI.MetricKMedian.LPBinary.Scale.selected_eq line 93
  12. def OAI.MetricKMedian.LPBinary.Scale.valueOfProgram line 102
  13. def OAI.MetricKMedian.LPBinary.Scale.feasibleProgram line 106
  14. def OAI.MetricKMedian.LPBinary.Scale.selectedScaleProgram line 113
  15. def OAI.MetricKMedian.LPBinary.Scale.selectedProgram line 127