OAI/Combinatorics/KMedian/Optimization/TruncatedListCompiler.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MetricKMedian.LPBinary.Program.etrunc line 14
  2. abbrev OAI.MetricKMedian.LPBinary.Program.enext line 15
  3. def OAI.MetricKMedian.LPBinary.Program.truncateRowProgram line 17
  4. def OAI.MetricKMedian.LPBinary.Program.truncateMatrixProgram line 23
  5. def OAI.MetricKMedian.LPBinary.Program.objectiveProgram line 26
  6. def OAI.MetricKMedian.LPBinary.Program.componentProgram line 39
  7. def OAI.MetricKMedian.LPBinary.Program.gradientProgram line 59
  8. def OAI.MetricKMedian.LPBinary.Program.nextProgram line 64