OAI/Combinatorics/KMedian/Programs/ScaleListProgram.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedian.LPBinary.Scale.guesses line 15
2. theorem OAI.MetricKMedian.LPBinary.Scale.guesses_mem line 18
3. def OAI.MetricKMedian.LPBinary.Scale.guessesProgram line 40
4. def OAI.MetricKMedian.LPBinary.Input.scale line 54
5. def OAI.MetricKMedian.LPBinary.Input.zeroOutput line 55
6. theorem OAI.MetricKMedian.LPBinary.Input.scale_rows line 58
7. def OAI.MetricKMedian.LPBinary.Input.scaleProgram line 62