OAI/Combinatorics/ThinTrees/Pencil/Parameters.lean

GitHub source file

54 declarations, 0 contain sorry, 0 declared as axioms

Pencil parameters.

  1. structure OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.Params line 15
  2. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.Params.pencil line 24
  3. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsDataCode line 25
  4. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.Params.data line 26
  5. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsCode line 27
  6. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsView line 28
  7. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_paramsView line 30
  8. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsGraph line 34
  9. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_paramsGraph line 35
  10. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsTail line 39
  11. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsFields line 40
  12. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsU line 41
  13. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsN line 42
  14. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsM line 43
  15. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_paramsN line 44
  16. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_paramsM line 51
  17. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsField line 55
  18. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_paramsField line 56
  19. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsS line 57
  20. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsK line 58
  21. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsT line 59
  22. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsQ line 60
  23. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsE line 61
  24. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.paramsDim line 62
  25. structure OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.Point line 64
  26. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.Point.data line 68
  27. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointCode line 69
  28. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointView line 70
  29. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_pointView line 72
  30. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointParams line 76
  31. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_pointParams line 77
  32. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointVector line 81
  33. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointGraph line 82
  34. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointN line 83
  35. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointM line 84
  36. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointS line 85
  37. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointK line 86
  38. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointT line 87
  39. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointQ line 88
  40. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointE line 89
  41. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointU line 90
  42. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointDim line 91
  43. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.parsePoint line 93
  44. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.pointParser line 94
  45. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_pointParser line 107
  46. lemma OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.parsePoint_ofFn line 111
  47. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.coordinate line 119
  48. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_coordinate line 125
  49. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.rawPoint line 130
  50. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_rawPoint line 140
  51. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.responsePoint line 145
  52. abbrev OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.lapPoint line 146
  53. def OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.differenceVector line 148
  54. instance OAI.AlgorithmicThinTrees.MetricTests.RationalStep.Stack.poly_differenceVector line 157