OAI/Geometry/CubicTorus/Profiles/CornerGrid269.lean

GitHub source file

112 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CubicTorus.corner_grid_269 line 10
  2. lemma OAI.CubicTorus.corner_grid_270 line 18
  3. lemma OAI.CubicTorus.corner_grid_271 line 25
  4. lemma OAI.CubicTorus.corner_grid_272 line 33
  5. lemma OAI.CubicTorus.corner_grid_273 line 41
  6. lemma OAI.CubicTorus.corner_grid_274 line 49
  7. lemma OAI.CubicTorus.corner_grid_275 line 57
  8. lemma OAI.CubicTorus.corner_grid_276 line 65
  9. lemma OAI.CubicTorus.corner_grid_277 line 73
  10. lemma OAI.CubicTorus.corner_grid_278 line 81
  11. lemma OAI.CubicTorus.corner_grid_279 line 89
  12. lemma OAI.CubicTorus.corner_grid_280 line 97
  13. lemma OAI.CubicTorus.corner_grid_281 line 105
  14. lemma OAI.CubicTorus.corner_grid_282 line 113
  15. lemma OAI.CubicTorus.corner_grid_283 line 121
  16. lemma OAI.CubicTorus.corner_grid_284 line 129
  17. lemma OAI.CubicTorus.corner_grid_285 line 137
  18. lemma OAI.CubicTorus.corner_grid_286 line 145
  19. lemma OAI.CubicTorus.corner_grid_287 line 153
  20. lemma OAI.CubicTorus.corner_grid_288 line 161
  21. lemma OAI.CubicTorus.corner_grid_289 line 169
  22. lemma OAI.CubicTorus.corner_grid_290 line 177
  23. lemma OAI.CubicTorus.corner_grid_291 line 185
  24. lemma OAI.CubicTorus.corner_grid_292 line 193
  25. lemma OAI.CubicTorus.corner_grid_293 line 201
  26. lemma OAI.CubicTorus.corner_grid_294 line 209
  27. lemma OAI.CubicTorus.corner_grid_295 line 217
  28. lemma OAI.CubicTorus.corner_grid_296 line 225
  29. lemma OAI.CubicTorus.corner_grid_297 line 233
  30. lemma OAI.CubicTorus.corner_grid_298 line 241
  31. lemma OAI.CubicTorus.corner_grid_299 line 249
  32. lemma OAI.CubicTorus.corner_grid_300 line 257
  33. lemma OAI.CubicTorus.corner_grid_301 line 265
  34. lemma OAI.CubicTorus.corner_grid_302 line 273
  35. lemma OAI.CubicTorus.corner_grid_303 line 281
  36. lemma OAI.CubicTorus.corner_grid_304 line 289
  37. lemma OAI.CubicTorus.corner_grid_305 line 297
  38. lemma OAI.CubicTorus.corner_grid_306 line 305
  39. lemma OAI.CubicTorus.corner_grid_307 line 313
  40. lemma OAI.CubicTorus.corner_grid_308 line 321
  41. lemma OAI.CubicTorus.corner_grid_309 line 329
  42. lemma OAI.CubicTorus.corner_grid_310 line 337
  43. lemma OAI.CubicTorus.corner_grid_311 line 345
  44. lemma OAI.CubicTorus.corner_grid_312 line 353
  45. lemma OAI.CubicTorus.corner_grid_313 line 361
  46. lemma OAI.CubicTorus.corner_grid_314 line 369
  47. lemma OAI.CubicTorus.corner_grid_315 line 377
  48. lemma OAI.CubicTorus.corner_grid_316 line 385
  49. lemma OAI.CubicTorus.corner_grid_317 line 393
  50. lemma OAI.CubicTorus.corner_grid_318 line 401
  51. lemma OAI.CubicTorus.corner_grid_319 line 409
  52. lemma OAI.CubicTorus.corner_grid_320 line 417
  53. lemma OAI.CubicTorus.corner_grid_321 line 425
  54. lemma OAI.CubicTorus.corner_grid_322 line 433
  55. lemma OAI.CubicTorus.corner_grid_323 line 441
  56. lemma OAI.CubicTorus.corner_grid_324 line 449
  57. lemma OAI.CubicTorus.corner_grid_325 line 457
  58. lemma OAI.CubicTorus.corner_grid_326 line 465
  59. lemma OAI.CubicTorus.corner_grid_327 line 473
  60. lemma OAI.CubicTorus.corner_grid_328 line 481
  61. lemma OAI.CubicTorus.corner_grid_329 line 489
  62. lemma OAI.CubicTorus.corner_grid_330 line 497
  63. lemma OAI.CubicTorus.corner_grid_331 line 505
  64. lemma OAI.CubicTorus.corner_grid_332 line 513
  65. lemma OAI.CubicTorus.corner_grid_333 line 521
  66. lemma OAI.CubicTorus.corner_grid_334 line 529
  67. lemma OAI.CubicTorus.corner_grid_335 line 537
  68. lemma OAI.CubicTorus.corner_grid_336 line 545
  69. lemma OAI.CubicTorus.corner_grid_337 line 553
  70. lemma OAI.CubicTorus.corner_grid_338 line 561
  71. lemma OAI.CubicTorus.corner_grid_339 line 569
  72. lemma OAI.CubicTorus.corner_grid_340 line 577
  73. lemma OAI.CubicTorus.corner_grid_341 line 585
  74. lemma OAI.CubicTorus.corner_grid_342 line 593
  75. lemma OAI.CubicTorus.corner_grid_343 line 601
  76. lemma OAI.CubicTorus.corner_grid_344 line 609
  77. lemma OAI.CubicTorus.corner_grid_345 line 617
  78. lemma OAI.CubicTorus.corner_grid_346 line 625
  79. lemma OAI.CubicTorus.corner_grid_347 line 633
  80. lemma OAI.CubicTorus.corner_grid_348 line 641
  81. lemma OAI.CubicTorus.corner_grid_349 line 649
  82. lemma OAI.CubicTorus.corner_grid_350 line 657
  83. lemma OAI.CubicTorus.corner_grid_351 line 665
  84. lemma OAI.CubicTorus.corner_grid_352 line 673
  85. lemma OAI.CubicTorus.corner_grid_353 line 681
  86. lemma OAI.CubicTorus.corner_grid_354 line 689
  87. lemma OAI.CubicTorus.corner_grid_355 line 697
  88. lemma OAI.CubicTorus.corner_grid_356 line 705
  89. lemma OAI.CubicTorus.corner_grid_357 line 713
  90. lemma OAI.CubicTorus.corner_grid_358 line 721
  91. lemma OAI.CubicTorus.corner_grid_359 line 729
  92. lemma OAI.CubicTorus.corner_grid_360 line 737
  93. lemma OAI.CubicTorus.corner_grid_361 line 745
  94. lemma OAI.CubicTorus.corner_grid_362 line 753
  95. lemma OAI.CubicTorus.corner_grid_363 line 761
  96. lemma OAI.CubicTorus.corner_grid_364 line 769
  97. lemma OAI.CubicTorus.corner_grid_365 line 777
  98. lemma OAI.CubicTorus.corner_grid_366 line 785
  99. lemma OAI.CubicTorus.corner_grid_367 line 793
  100. lemma OAI.CubicTorus.corner_grid_368 line 801
  101. lemma OAI.CubicTorus.corner_grid_369 line 809
  102. lemma OAI.CubicTorus.corner_grid_370 line 817
  103. lemma OAI.CubicTorus.corner_grid_371 line 825
  104. lemma OAI.CubicTorus.corner_grid_372 line 833
  105. lemma OAI.CubicTorus.corner_grid_373 line 841
  106. lemma OAI.CubicTorus.corner_grid_374 line 849
  107. lemma OAI.CubicTorus.corner_grid_375 line 857
  108. lemma OAI.CubicTorus.corner_grid_376 line 865
  109. lemma OAI.CubicTorus.corner_grid_377 line 873
  110. lemma OAI.CubicTorus.corner_grid_378 line 881
  111. lemma OAI.CubicTorus.corner_grid_379 line 889
  112. lemma OAI.CubicTorus.corner_grid_380 line 897