OAI/Combinatorics/KMedian/Process/CopyGraphProgram.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.Input line 18
  2. abbrev OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.Raw line 27
  3. def OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.Input.raw line 29
  4. abbrev OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.Input.encode line 30
  5. def OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.prepare line 32
  6. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.prepare_poly line 36
  7. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.rank_owner line 44
  8. def OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.Input.taper line 53
  9. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.prepare_input line 62
  10. def OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.taperProgram line 68
  11. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.taper_q line 71
  12. def OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.Input.law line 86
  13. def OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.Input.result line 88
  14. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.reindexed_lift line 92
  15. theorem OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.result_eq line 108
  16. def OAI.MetricKMedian.RationalPhysicalKernel.CopyGraphProgram.program line 115