OAI/Geometry/Convex/GeneralMahler/Scalar/NodesTbl.lean

GitHub source file

129 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.GeneralMahler.SCal.Grid.Nodes.a0_11 line 5
  2. def OAI.GeneralMahler.SCal.Grid.Nodes.a11_22 line 6
  3. def OAI.GeneralMahler.SCal.Grid.Nodes.a0_22 line 7
  4. def OAI.GeneralMahler.SCal.Grid.Nodes.a22_33 line 8
  5. def OAI.GeneralMahler.SCal.Grid.Nodes.a33_45 line 9
  6. def OAI.GeneralMahler.SCal.Grid.Nodes.a22_45 line 10
  7. def OAI.GeneralMahler.SCal.Grid.Nodes.a0_45 line 11
  8. def OAI.GeneralMahler.SCal.Grid.Nodes.a45_56 line 12
  9. def OAI.GeneralMahler.SCal.Grid.Nodes.a56_67 line 13
  10. def OAI.GeneralMahler.SCal.Grid.Nodes.a45_67 line 14
  11. def OAI.GeneralMahler.SCal.Grid.Nodes.a67_78 line 15
  12. def OAI.GeneralMahler.SCal.Grid.Nodes.a78_90 line 16
  13. def OAI.GeneralMahler.SCal.Grid.Nodes.a67_90 line 17
  14. def OAI.GeneralMahler.SCal.Grid.Nodes.a45_90 line 18
  15. def OAI.GeneralMahler.SCal.Grid.Nodes.a0_90 line 19
  16. def OAI.GeneralMahler.SCal.Grid.Nodes.a90_101 line 20
  17. def OAI.GeneralMahler.SCal.Grid.Nodes.a101_112 line 21
  18. def OAI.GeneralMahler.SCal.Grid.Nodes.a90_112 line 22
  19. def OAI.GeneralMahler.SCal.Grid.Nodes.a112_123 line 23
  20. def OAI.GeneralMahler.SCal.Grid.Nodes.a123_135 line 24
  21. def OAI.GeneralMahler.SCal.Grid.Nodes.a112_135 line 25
  22. def OAI.GeneralMahler.SCal.Grid.Nodes.a90_135 line 26
  23. def OAI.GeneralMahler.SCal.Grid.Nodes.a135_146 line 27
  24. def OAI.GeneralMahler.SCal.Grid.Nodes.a146_157 line 28
  25. def OAI.GeneralMahler.SCal.Grid.Nodes.a135_157 line 29
  26. def OAI.GeneralMahler.SCal.Grid.Nodes.a157_168 line 30
  27. def OAI.GeneralMahler.SCal.Grid.Nodes.a168_180 line 31
  28. def OAI.GeneralMahler.SCal.Grid.Nodes.a157_180 line 32
  29. def OAI.GeneralMahler.SCal.Grid.Nodes.a135_180 line 33
  30. def OAI.GeneralMahler.SCal.Grid.Nodes.a90_180 line 34
  31. def OAI.GeneralMahler.SCal.Grid.Nodes.a0_180 line 35
  32. def OAI.GeneralMahler.SCal.Grid.Nodes.a180_191 line 36
  33. def OAI.GeneralMahler.SCal.Grid.Nodes.a191_202 line 37
  34. def OAI.GeneralMahler.SCal.Grid.Nodes.a180_202 line 38
  35. def OAI.GeneralMahler.SCal.Grid.Nodes.a202_213 line 39
  36. def OAI.GeneralMahler.SCal.Grid.Nodes.a213_225 line 40
  37. def OAI.GeneralMahler.SCal.Grid.Nodes.a202_225 line 41
  38. def OAI.GeneralMahler.SCal.Grid.Nodes.a180_225 line 42
  39. def OAI.GeneralMahler.SCal.Grid.Nodes.a225_236 line 43
  40. def OAI.GeneralMahler.SCal.Grid.Nodes.a236_247 line 44
  41. def OAI.GeneralMahler.SCal.Grid.Nodes.a225_247 line 45
  42. def OAI.GeneralMahler.SCal.Grid.Nodes.a247_258 line 46
  43. def OAI.GeneralMahler.SCal.Grid.Nodes.a258_270 line 47
  44. def OAI.GeneralMahler.SCal.Grid.Nodes.a247_270 line 48
  45. def OAI.GeneralMahler.SCal.Grid.Nodes.a225_270 line 49
  46. def OAI.GeneralMahler.SCal.Grid.Nodes.a180_270 line 50
  47. def OAI.GeneralMahler.SCal.Grid.Nodes.a270_281 line 51
  48. def OAI.GeneralMahler.SCal.Grid.Nodes.a281_292 line 52
  49. def OAI.GeneralMahler.SCal.Grid.Nodes.a270_292 line 53
  50. def OAI.GeneralMahler.SCal.Grid.Nodes.a292_303 line 54
  51. def OAI.GeneralMahler.SCal.Grid.Nodes.a303_315 line 55
  52. def OAI.GeneralMahler.SCal.Grid.Nodes.a292_315 line 56
  53. def OAI.GeneralMahler.SCal.Grid.Nodes.a270_315 line 57
  54. def OAI.GeneralMahler.SCal.Grid.Nodes.a315_326 line 58
  55. def OAI.GeneralMahler.SCal.Grid.Nodes.a326_337 line 59
  56. def OAI.GeneralMahler.SCal.Grid.Nodes.a315_337 line 60
  57. def OAI.GeneralMahler.SCal.Grid.Nodes.a337_348 line 61
  58. def OAI.GeneralMahler.SCal.Grid.Nodes.a348_360 line 62
  59. def OAI.GeneralMahler.SCal.Grid.Nodes.a337_360 line 63
  60. def OAI.GeneralMahler.SCal.Grid.Nodes.a315_360 line 64
  61. def OAI.GeneralMahler.SCal.Grid.Nodes.a270_360 line 65
  62. def OAI.GeneralMahler.SCal.Grid.Nodes.a180_360 line 66
  63. def OAI.GeneralMahler.SCal.Grid.Nodes.a0_360 line 67
  64. def OAI.GeneralMahler.SCal.Grid.Nodes.a360_371 line 68
  65. def OAI.GeneralMahler.SCal.Grid.Nodes.a371_382 line 69
  66. def OAI.GeneralMahler.SCal.Grid.Nodes.a360_382 line 70
  67. def OAI.GeneralMahler.SCal.Grid.Nodes.a382_393 line 71
  68. def OAI.GeneralMahler.SCal.Grid.Nodes.a393_405 line 72
  69. def OAI.GeneralMahler.SCal.Grid.Nodes.a382_405 line 73
  70. def OAI.GeneralMahler.SCal.Grid.Nodes.a360_405 line 74
  71. def OAI.GeneralMahler.SCal.Grid.Nodes.a405_416 line 75
  72. def OAI.GeneralMahler.SCal.Grid.Nodes.a416_427 line 76
  73. def OAI.GeneralMahler.SCal.Grid.Nodes.a405_427 line 77
  74. def OAI.GeneralMahler.SCal.Grid.Nodes.a427_438 line 78
  75. def OAI.GeneralMahler.SCal.Grid.Nodes.a438_450 line 79
  76. def OAI.GeneralMahler.SCal.Grid.Nodes.a427_450 line 80
  77. def OAI.GeneralMahler.SCal.Grid.Nodes.a405_450 line 81
  78. def OAI.GeneralMahler.SCal.Grid.Nodes.a360_450 line 82
  79. def OAI.GeneralMahler.SCal.Grid.Nodes.a450_461 line 83
  80. def OAI.GeneralMahler.SCal.Grid.Nodes.a461_472 line 84
  81. def OAI.GeneralMahler.SCal.Grid.Nodes.a450_472 line 85
  82. def OAI.GeneralMahler.SCal.Grid.Nodes.a472_483 line 86
  83. def OAI.GeneralMahler.SCal.Grid.Nodes.a483_495 line 87
  84. def OAI.GeneralMahler.SCal.Grid.Nodes.a472_495 line 88
  85. def OAI.GeneralMahler.SCal.Grid.Nodes.a450_495 line 89
  86. def OAI.GeneralMahler.SCal.Grid.Nodes.a495_506 line 90
  87. def OAI.GeneralMahler.SCal.Grid.Nodes.a506_517 line 91
  88. def OAI.GeneralMahler.SCal.Grid.Nodes.a495_517 line 92
  89. def OAI.GeneralMahler.SCal.Grid.Nodes.a517_528 line 93
  90. def OAI.GeneralMahler.SCal.Grid.Nodes.a528_540 line 94
  91. def OAI.GeneralMahler.SCal.Grid.Nodes.a517_540 line 95
  92. def OAI.GeneralMahler.SCal.Grid.Nodes.a495_540 line 96
  93. def OAI.GeneralMahler.SCal.Grid.Nodes.a450_540 line 97
  94. def OAI.GeneralMahler.SCal.Grid.Nodes.a360_540 line 98
  95. def OAI.GeneralMahler.SCal.Grid.Nodes.a540_551 line 99
  96. def OAI.GeneralMahler.SCal.Grid.Nodes.a551_562 line 100
  97. def OAI.GeneralMahler.SCal.Grid.Nodes.a540_562 line 101
  98. def OAI.GeneralMahler.SCal.Grid.Nodes.a562_573 line 102
  99. def OAI.GeneralMahler.SCal.Grid.Nodes.a573_585 line 103
  100. def OAI.GeneralMahler.SCal.Grid.Nodes.a562_585 line 104
  101. def OAI.GeneralMahler.SCal.Grid.Nodes.a540_585 line 105
  102. def OAI.GeneralMahler.SCal.Grid.Nodes.a585_596 line 106
  103. def OAI.GeneralMahler.SCal.Grid.Nodes.a596_607 line 107
  104. def OAI.GeneralMahler.SCal.Grid.Nodes.a585_607 line 108
  105. def OAI.GeneralMahler.SCal.Grid.Nodes.a607_618 line 109
  106. def OAI.GeneralMahler.SCal.Grid.Nodes.a618_630 line 110
  107. def OAI.GeneralMahler.SCal.Grid.Nodes.a607_630 line 111
  108. def OAI.GeneralMahler.SCal.Grid.Nodes.a585_630 line 112
  109. def OAI.GeneralMahler.SCal.Grid.Nodes.a540_630 line 113
  110. def OAI.GeneralMahler.SCal.Grid.Nodes.a630_641 line 114
  111. def OAI.GeneralMahler.SCal.Grid.Nodes.a641_652 line 115
  112. def OAI.GeneralMahler.SCal.Grid.Nodes.a630_652 line 116
  113. def OAI.GeneralMahler.SCal.Grid.Nodes.a652_663 line 117
  114. def OAI.GeneralMahler.SCal.Grid.Nodes.a663_675 line 118
  115. def OAI.GeneralMahler.SCal.Grid.Nodes.a652_675 line 119
  116. def OAI.GeneralMahler.SCal.Grid.Nodes.a630_675 line 120
  117. def OAI.GeneralMahler.SCal.Grid.Nodes.a675_686 line 121
  118. def OAI.GeneralMahler.SCal.Grid.Nodes.a686_698 line 122
  119. def OAI.GeneralMahler.SCal.Grid.Nodes.a675_698 line 123
  120. def OAI.GeneralMahler.SCal.Grid.Nodes.a698_709 line 124
  121. def OAI.GeneralMahler.SCal.Grid.Nodes.a709_721 line 125
  122. def OAI.GeneralMahler.SCal.Grid.Nodes.a698_721 line 126
  123. def OAI.GeneralMahler.SCal.Grid.Nodes.a675_721 line 127
  124. def OAI.GeneralMahler.SCal.Grid.Nodes.a630_721 line 128
  125. def OAI.GeneralMahler.SCal.Grid.Nodes.a540_721 line 129
  126. def OAI.GeneralMahler.SCal.Grid.Nodes.a360_721 line 130
  127. def OAI.GeneralMahler.SCal.Grid.Nodes.a0_721 line 131
  128. def OAI.GeneralMahler.SCal.Grid.Nodes.A line 132
  129. def OAI.GeneralMahler.SCal.Grid.Nodes.passesAt line 133