OAI/Combinatorics/KMedian/Programs/GraphLawProgram.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MetricKMedian.SparseGraph.Program.qr line 13
  2. abbrev OAI.MetricKMedian.SparseGraph.Program.qt line 14
  3. abbrev OAI.MetricKMedian.SparseGraph.Program.eqi line 15
  4. structure OAI.MetricKMedian.SparseGraph.Program.QInput line 17
  5. def OAI.MetricKMedian.SparseGraph.Program.QInput.raw line 23
  6. abbrev OAI.MetricKMedian.SparseGraph.Program.QInput.encode line 25
  7. def OAI.MetricKMedian.SparseGraph.Program.QInput.column line 27
  8. def OAI.MetricKMedian.SparseGraph.Program.QInput.columns line 29
  9. def OAI.MetricKMedian.SparseGraph.Program.emptyColumn line 30
  10. def OAI.MetricKMedian.SparseGraph.Program.QInput.input line 31
  11. def OAI.MetricKMedian.SparseGraph.Program.QInput.result line 32
  12. def OAI.MetricKMedian.SparseGraph.Program.columnsProgram line 36
  13. def OAI.MetricKMedian.SparseGraph.Program.inputProgram line 44
  14. def OAI.MetricKMedian.SparseGraph.Program.lawProgram line 52