OAI/Combinatorics/KMedian/Preparation/RationalSupplierScan.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MetricKMedian.Preparation.RationalSuppliers.Data line 15
  2. theorem OAI.MetricKMedian.Preparation.RationalSuppliers.FixedParameters.positive line 34
  3. theorem OAI.MetricKMedian.Preparation.RationalSuppliers.FixedParameters.grid line 35
  4. def OAI.MetricKMedian.Preparation.RationalSuppliers.Data.law line 41
  5. def OAI.MetricKMedian.Preparation.RationalSuppliers.Data.coupled line 45
  6. def OAI.MetricKMedian.Preparation.RationalSuppliers.Data.tables line 48
  7. theorem OAI.MetricKMedian.Preparation.RationalSuppliers.Data.tables_support line 51
  8. def OAI.MetricKMedian.Preparation.RationalSuppliers.Data.scan line 62
  9. theorem OAI.MetricKMedian.Preparation.RationalSuppliers.Data.score_reindex line 65
  10. theorem OAI.MetricKMedian.Preparation.RationalSuppliers.Data.scan_certificate line 83
  11. theorem OAI.MetricKMedian.Preparation.RationalSuppliers.Data.scan_feasible line 114