OAI/Combinatorics/KMedian/Programs/UnitScanProgram.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.Input line 15
  2. abbrev OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.Raw line 23
  3. def OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.Input.raw line 24
  4. abbrev OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.Input.encode line 25
  5. def OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.Input.sup line 27
  6. def OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.postData line 30
  7. theorem OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.postData_poly line 32
  8. theorem OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.postData_view line 33
  9. def OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.Input.unit line 39
  10. def OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.unitProgram line 40
  11. def OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.suppliersProgram line 42
  12. def OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.supplierInputProgram line 45
  13. def OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.Input.result line 48
  14. def OAI.MetricKMedian.Preparation.RationalUnitInput.ScanProgram.program line 51