OAI/Combinatorics/KMedian/Optimization/FractionalInputProgram.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MetricKMedian.Preparation.FractionalRefinement.Program.Matrix line 17
  2. abbrev OAI.MetricKMedian.Preparation.FractionalRefinement.Program.Raw line 18
  3. structure OAI.MetricKMedian.Preparation.FractionalRefinement.Program.Input line 19
  4. abbrev OAI.MetricKMedian.Preparation.FractionalRefinement.Program.Input.raw line 32
  5. abbrev OAI.MetricKMedian.Preparation.FractionalRefinement.Program.Input.encode line 35
  6. def OAI.MetricKMedian.Preparation.FractionalRefinement.Program.assignmentData line 37
  7. theorem OAI.MetricKMedian.Preparation.FractionalRefinement.Program.assignmentData_poly line 38
  8. theorem OAI.MetricKMedian.Preparation.FractionalRefinement.Program.assignmentData_view line 41
  9. def OAI.MetricKMedian.Preparation.FractionalRefinement.Program.splitData line 47
  10. theorem OAI.MetricKMedian.Preparation.FractionalRefinement.Program.splitData_poly line 48
  11. theorem OAI.MetricKMedian.Preparation.FractionalRefinement.Program.splitData_view line 49
  12. def OAI.MetricKMedian.Preparation.FractionalRefinement.Program.unitData line 54
  13. theorem OAI.MetricKMedian.Preparation.FractionalRefinement.Program.unitData_poly line 58
  14. def OAI.MetricKMedian.Preparation.FractionalRefinement.Program.Input.unit line 64
  15. theorem OAI.MetricKMedian.Preparation.FractionalRefinement.Program.unitData_view line 66
  16. def OAI.MetricKMedian.Preparation.FractionalRefinement.Program.unitProgram line 72
  17. def OAI.MetricKMedian.Preparation.FractionalRefinement.Program.originalProgram line 74