OAI/Combinatorics/KMedian/Hardness/Verdict.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MetricKMedian.Coverage.Raw.clients line 14
  2. def OAI.MetricKMedian.Coverage.Raw.sets line 15
  3. theorem OAI.MetricKMedian.Coverage.Raw.clients_poly line 17
  4. theorem OAI.MetricKMedian.Coverage.Raw.sets_poly line 23
  5. def OAI.MetricKMedian.Coverage.Raw.isCovered line 29
  6. theorem OAI.MetricKMedian.Coverage.Raw.isCovered_poly line 33
  7. def OAI.MetricKMedian.Coverage.Raw.coveredCount line 43
  8. theorem OAI.MetricKMedian.Coverage.Raw.coveredCount_poly line 46
  9. def OAI.MetricKMedian.Coverage.Raw.accepts line 52
  10. theorem OAI.MetricKMedian.Coverage.Raw.accepts_poly line 55
  11. theorem OAI.MetricKMedian.Coverage.Input.clients_raw line 65
  12. theorem OAI.MetricKMedian.Coverage.Input.sets_raw line 70
  13. theorem OAI.MetricKMedian.Coverage.Input.mem_selectedMask_iff line 75
  14. theorem OAI.MetricKMedian.Coverage.Input.isCovered_raw line 81
  15. theorem OAI.MetricKMedian.Coverage.Input.coveredCount_raw line 93
  16. theorem OAI.MetricKMedian.Coverage.Input.accepts_raw line 105
  17. def OAI.MetricKMedian.Coverage.Input.inputRawProgram line 110
  18. def OAI.MetricKMedian.Coverage.Input.rawContextProgram line 114
  19. def OAI.MetricKMedian.Coverage.Input.verdictProgram line 126