OAI/Combinatorics/KMedian/Process/PhysicalBatchUpdateProgram.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.Context line 18
2. structure OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.Input line 26
3. abbrev OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.Input.proposal line 30
4. abbrev OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.Raw line 44
5. def OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.Input.raw line 45
6. abbrev OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.Input.encode line 46
7. def OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.finish line 48
8. theorem OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.finish_poly line 50
9. abbrev OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.Input.update line 56
10. def OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.Input.law line 59
11. def OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.Input.result line 61
12. theorem OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.result_map line 64
13. theorem OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.finish_input line 71
14. def OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.proposalProgram line 87
15. def OAI.MetricKMedian.RationalPhysicalKernel.UpdateProgram.program line 91