OAI/Combinatorics/KMedian/Preparation/SupplierScanProgram.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MetricKMedian.Preparation.RationalSuppliers.Program.ScanInput line 14
  2. abbrev OAI.MetricKMedian.Preparation.RationalSuppliers.Program.ScanRaw line 22
  3. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.ScanInput.raw line 23
  4. abbrev OAI.MetricKMedian.Preparation.RationalSuppliers.Program.ScanInput.encode line 24
  5. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.ScanInput.prep line 25
  6. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.ScanInput.scan line 26
  7. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.originals line 28
  8. theorem OAI.MetricKMedian.Preparation.RationalSuppliers.Program.originals_poly line 29
  9. theorem OAI.MetricKMedian.Preparation.RationalSuppliers.Program.originals_view line 34
  10. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.scanData line 42
  11. theorem OAI.MetricKMedian.Preparation.RationalSuppliers.Program.scanData_poly line 44
  12. theorem OAI.MetricKMedian.Preparation.RationalSuppliers.Program.scanData_view line 48
  13. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.scanPrepProgram line 53
  14. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.scanTablesProgram line 55
  15. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.scanRawPairProgram line 58
  16. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.scanRawProgram line 61
  17. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.scanInputProgram line 64
  18. def OAI.MetricKMedian.Preparation.RationalSuppliers.Program.scanProgram line 66