OAI/Geometry/CubicTorus/Profiles/CornerGrid42.lean

GitHub source file

113 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CubicTorus.corner_grid_42 line 10
  2. lemma OAI.CubicTorus.corner_grid_43 line 18
  3. lemma OAI.CubicTorus.corner_grid_44 line 25
  4. lemma OAI.CubicTorus.corner_grid_45 line 32
  5. lemma OAI.CubicTorus.corner_grid_46 line 40
  6. lemma OAI.CubicTorus.corner_grid_47 line 48
  7. lemma OAI.CubicTorus.corner_grid_48 line 56
  8. lemma OAI.CubicTorus.corner_grid_49 line 64
  9. lemma OAI.CubicTorus.corner_grid_50 line 72
  10. lemma OAI.CubicTorus.corner_grid_51 line 80
  11. lemma OAI.CubicTorus.corner_grid_52 line 88
  12. lemma OAI.CubicTorus.corner_grid_53 line 96
  13. lemma OAI.CubicTorus.corner_grid_54 line 104
  14. lemma OAI.CubicTorus.corner_grid_55 line 112
  15. lemma OAI.CubicTorus.corner_grid_56 line 120
  16. lemma OAI.CubicTorus.corner_grid_57 line 128
  17. lemma OAI.CubicTorus.corner_grid_58 line 136
  18. lemma OAI.CubicTorus.corner_grid_59 line 144
  19. lemma OAI.CubicTorus.corner_grid_60 line 152
  20. lemma OAI.CubicTorus.corner_grid_61 line 160
  21. lemma OAI.CubicTorus.corner_grid_62 line 168
  22. lemma OAI.CubicTorus.corner_grid_63 line 176
  23. lemma OAI.CubicTorus.corner_grid_64 line 184
  24. lemma OAI.CubicTorus.corner_grid_65 line 192
  25. lemma OAI.CubicTorus.corner_grid_66 line 200
  26. lemma OAI.CubicTorus.corner_grid_67 line 208
  27. lemma OAI.CubicTorus.corner_grid_68 line 216
  28. lemma OAI.CubicTorus.corner_grid_69 line 224
  29. lemma OAI.CubicTorus.corner_grid_70 line 232
  30. lemma OAI.CubicTorus.corner_grid_71 line 240
  31. lemma OAI.CubicTorus.corner_grid_72 line 248
  32. lemma OAI.CubicTorus.corner_grid_73 line 256
  33. lemma OAI.CubicTorus.corner_grid_74 line 264
  34. lemma OAI.CubicTorus.corner_grid_75 line 272
  35. lemma OAI.CubicTorus.corner_grid_76 line 280
  36. lemma OAI.CubicTorus.corner_grid_77 line 287
  37. lemma OAI.CubicTorus.corner_grid_78 line 294
  38. lemma OAI.CubicTorus.corner_grid_79 line 301
  39. lemma OAI.CubicTorus.corner_grid_80 line 308
  40. lemma OAI.CubicTorus.corner_grid_81 line 316
  41. lemma OAI.CubicTorus.corner_grid_82 line 324
  42. lemma OAI.CubicTorus.corner_grid_83 line 332
  43. lemma OAI.CubicTorus.corner_grid_84 line 340
  44. lemma OAI.CubicTorus.corner_grid_85 line 348
  45. lemma OAI.CubicTorus.corner_grid_86 line 355
  46. lemma OAI.CubicTorus.corner_grid_87 line 362
  47. lemma OAI.CubicTorus.corner_grid_88 line 370
  48. lemma OAI.CubicTorus.corner_grid_89 line 378
  49. lemma OAI.CubicTorus.corner_grid_90 line 386
  50. lemma OAI.CubicTorus.corner_grid_91 line 394
  51. lemma OAI.CubicTorus.corner_grid_92 line 402
  52. lemma OAI.CubicTorus.corner_grid_93 line 410
  53. lemma OAI.CubicTorus.corner_grid_94 line 418
  54. lemma OAI.CubicTorus.corner_grid_95 line 426
  55. lemma OAI.CubicTorus.corner_grid_96 line 434
  56. lemma OAI.CubicTorus.corner_grid_97 line 442
  57. lemma OAI.CubicTorus.corner_grid_98 line 450
  58. lemma OAI.CubicTorus.corner_grid_99 line 458
  59. lemma OAI.CubicTorus.corner_grid_100 line 466
  60. lemma OAI.CubicTorus.corner_grid_101 line 474
  61. lemma OAI.CubicTorus.corner_grid_102 line 482
  62. lemma OAI.CubicTorus.corner_grid_103 line 490
  63. lemma OAI.CubicTorus.corner_grid_104 line 498
  64. lemma OAI.CubicTorus.corner_grid_105 line 506
  65. lemma OAI.CubicTorus.corner_grid_106 line 514
  66. lemma OAI.CubicTorus.corner_grid_107 line 522
  67. lemma OAI.CubicTorus.corner_grid_108 line 530
  68. lemma OAI.CubicTorus.corner_grid_109 line 538
  69. lemma OAI.CubicTorus.corner_grid_110 line 546
  70. lemma OAI.CubicTorus.corner_grid_111 line 554
  71. lemma OAI.CubicTorus.corner_grid_112 line 562
  72. lemma OAI.CubicTorus.corner_grid_113 line 570
  73. lemma OAI.CubicTorus.corner_grid_114 line 578
  74. lemma OAI.CubicTorus.corner_grid_115 line 586
  75. lemma OAI.CubicTorus.corner_grid_116 line 594
  76. lemma OAI.CubicTorus.corner_grid_117 line 602
  77. lemma OAI.CubicTorus.corner_grid_118 line 610
  78. lemma OAI.CubicTorus.corner_grid_119 line 618
  79. lemma OAI.CubicTorus.corner_grid_120 line 626
  80. lemma OAI.CubicTorus.corner_grid_121 line 634
  81. lemma OAI.CubicTorus.corner_grid_122 line 642
  82. lemma OAI.CubicTorus.corner_grid_123 line 650
  83. lemma OAI.CubicTorus.corner_grid_124 line 658
  84. lemma OAI.CubicTorus.corner_grid_125 line 666
  85. lemma OAI.CubicTorus.corner_grid_126 line 674
  86. lemma OAI.CubicTorus.corner_grid_127 line 682
  87. lemma OAI.CubicTorus.corner_grid_128 line 690
  88. lemma OAI.CubicTorus.corner_grid_129 line 698
  89. lemma OAI.CubicTorus.corner_grid_130 line 706
  90. lemma OAI.CubicTorus.corner_grid_131 line 714
  91. lemma OAI.CubicTorus.corner_grid_132 line 722
  92. lemma OAI.CubicTorus.corner_grid_133 line 730
  93. lemma OAI.CubicTorus.corner_grid_134 line 738
  94. lemma OAI.CubicTorus.corner_grid_135 line 746
  95. lemma OAI.CubicTorus.corner_grid_136 line 754
  96. lemma OAI.CubicTorus.corner_grid_137 line 762
  97. lemma OAI.CubicTorus.corner_grid_138 line 770
  98. lemma OAI.CubicTorus.corner_grid_139 line 778
  99. lemma OAI.CubicTorus.corner_grid_140 line 786
  100. lemma OAI.CubicTorus.corner_grid_141 line 794
  101. lemma OAI.CubicTorus.corner_grid_142 line 802
  102. lemma OAI.CubicTorus.corner_grid_143 line 810
  103. lemma OAI.CubicTorus.corner_grid_144 line 818
  104. lemma OAI.CubicTorus.corner_grid_145 line 826
  105. lemma OAI.CubicTorus.corner_grid_146 line 834
  106. lemma OAI.CubicTorus.corner_grid_147 line 842
  107. lemma OAI.CubicTorus.corner_grid_148 line 850
  108. lemma OAI.CubicTorus.corner_grid_149 line 858
  109. lemma OAI.CubicTorus.corner_grid_150 line 866
  110. lemma OAI.CubicTorus.corner_grid_151 line 874
  111. lemma OAI.CubicTorus.corner_grid_152 line 882
  112. lemma OAI.CubicTorus.corner_grid_153 line 890
  113. lemma OAI.CubicTorus.corner_grid_154 line 898