OAI/Combinatorics/KMedian/Optimization/DualListCompiler.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MetricKMedian.LPBinary.Program.epoint line 13
  2. abbrev OAI.MetricKMedian.LPBinary.Program.edual line 14
  3. def OAI.MetricKMedian.LPBinary.Program.maximumProgram line 16
  4. def OAI.MetricKMedian.LPBinary.Program.candidatesProgram line 19
  5. def OAI.MetricKMedian.LPBinary.Program.dualAffineProgram line 23
  6. def OAI.MetricKMedian.LPBinary.Program.dualValueProgram line 35
  7. def OAI.MetricKMedian.LPBinary.Program.dualBestProgram line 40
  8. def OAI.MetricKMedian.LPBinary.Program.dualGradientProgram line 51