OAI/Combinatorics/KMedian/Binary/BinaryListMap.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MetricKMedian.Binary.ListAlgorithms.pushMap line 17
  2. theorem OAI.MetricKMedian.Binary.ListAlgorithms.pushFilter line 24
  3. theorem OAI.MetricKMedian.Binary.ListAlgorithms.count line 32
  4. theorem OAI.MetricKMedian.Binary.ListAlgorithms.all line 37
  5. theorem OAI.MetricKMedian.Binary.ListAlgorithms.any line 43
  6. def OAI.MetricKMedian.Binary.PolyProgram.listMap line 52
  7. def OAI.MetricKMedian.Binary.PolyProgram.listFilter line 81
  8. def OAI.MetricKMedian.Binary.PolyProgram.listLength line 97
  9. def OAI.MetricKMedian.Binary.PolyProgram.listAll line 111
  10. def OAI.MetricKMedian.Binary.PolyProgram.listAny line 118