OAI/Combinatorics/KMedian/Preparation/PreparedScanProgram.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.Input line 16
  2. abbrev OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.Raw line 25
  3. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.Input.raw line 26
  4. abbrev OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.Input.encode line 29
  5. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.Input.item line 31
  6. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.Input.items line 33
  7. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.prepare line 35
  8. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.prepare_poly line 38
  9. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.prepare_input line 46
  10. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.dummy line 55
  11. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.itemsProgram line 56
  12. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.Input.candidates line 62
  13. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.images line 64
  14. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.images_poly line 65
  15. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.images_input line 70
  16. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.candidatesProgram line 84
  17. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.metadata line 90
  18. theorem OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.metadata_poly line 91
  19. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.Input.result line 93
  20. def OAI.MetricKMedian.FixedBatch.RationalParameters.PreparedScanProgram.program line 94