OAI/Combinatorics/KMedian/Programs/HistorySelectionProgram.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.Input line 22
  2. abbrev OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.Raw line 24
  3. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.Input.raw line 25
  4. abbrev OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.Input.encode line 26
  5. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.Input.ctx line 28
  6. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.ctxRaw line 43
  7. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.ctxRaw_poly line 44
  8. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.ctxRaw_input line 45
  9. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.historyProgram line 46
  10. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.Input.items line 52
  11. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.attach line 54
  12. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.attach_poly line 56
  13. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.attach_input line 57
  14. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.itemsProgram line 61
  15. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.dummy line 70
  16. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.metadata line 79
  17. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.metadata_poly line 81
  18. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.metadata_input line 82
  19. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.Input.result line 87
  20. def OAI.MetricKMedian.FixedBatch.RationalParameters.SelectionProgram.program line 89