OAI/Combinatorics/KMedian/Binary/BooleanPolynomial.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MetricKMedian.Binary.polynomial_eval_mono line 12
2. structure OAI.MetricKMedian.Binary.PolyProgram line 19
3. def OAI.MetricKMedian.Binary.PolyProgram.stock line 28
4. theorem OAI.MetricKMedian.Binary.PolyProgram.finite_work line 38
5. def OAI.MetricKMedian.Binary.PolyProgram.sizeBound line 41
6. theorem OAI.MetricKMedian.Binary.PolyProgram.length_bound line 44
7. def OAI.MetricKMedian.Binary.PolyProgram.compTime line 49
8. def OAI.MetricKMedian.Binary.PolyProgram.comp line 52
9. def OAI.MetricKMedian.Binary.PolyProgram.congr line 71