OAI/Combinatorics/KMedian/Binary/BooleanReverse.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MetricKMedian.Binary.ReverseLoop.S line 14
2. abbrev OAI.MetricKMedian.Binary.ReverseLoop.enc line 15
3. def OAI.MetricKMedian.Binary.ReverseLoop.body line 17
4. def OAI.MetricKMedian.Binary.ReverseLoop.result line 20
5. def OAI.MetricKMedian.Binary.ReverseLoop.program line 22
6. theorem OAI.MetricKMedian.Binary.ReverseLoop.run line 32
7. def OAI.MetricKMedian.Binary.ReverseLoop.loop line 46
8. def OAI.MetricKMedian.Binary.PolyProgram.reverse line 55