OAI/Combinatorics/KMedian/Binary/BinaryPredicates.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MetricKMedian.Binary.PolyProgram.natLE line 10
  2. def OAI.MetricKMedian.Binary.PolyProgram.natEQ line 15
  3. def OAI.MetricKMedian.Binary.PolyProgram.ratZero line 18
  4. def OAI.MetricKMedian.Binary.PolyProgram.ratNonzero line 21
  5. def OAI.MetricKMedian.Binary.PolyProgram.ratEQ line 23
  6. def OAI.MetricKMedian.Binary.PolyProgram.ratLE line 25