OAI/Combinatorics/KMedian/Process/CopyNextProgram.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.pick line 19
  2. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.pick_poly line 20
  3. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.pick_mem line 26
  4. abbrev OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.Raw line 40
  5. def OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.next line 41
  6. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.next_poly line 44
  7. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.view_get line 50
  8. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.view_eq line 54
  9. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.next_view line 58
  10. abbrev OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.TransitionRaw line 100
  11. def OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.transition line 101
  12. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.transition_poly line 103
  13. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyNext.transition_view line 105