OAI/Combinatorics/SnakyCertificate/Equations00.lean

GitHub source file

108 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SnakyCertificate.Check.cache_equation_0 line 8
  2. theorem OAI.SnakyCertificate.Check.cache_equation_1 line 12
  3. theorem OAI.SnakyCertificate.Check.cache_equation_2 line 16
  4. theorem OAI.SnakyCertificate.Check.cache_equation_3 line 20
  5. theorem OAI.SnakyCertificate.Check.cache_equation_4 line 24
  6. theorem OAI.SnakyCertificate.Check.cache_equation_5 line 28
  7. theorem OAI.SnakyCertificate.Check.verified_row_6 line 32
  8. theorem OAI.SnakyCertificate.Check.load_entry_6 line 35
  9. theorem OAI.SnakyCertificate.Check.cache_equation_6 line 39
  10. theorem OAI.SnakyCertificate.Check.verified_row_7 line 45
  11. theorem OAI.SnakyCertificate.Check.load_entry_7 line 48
  12. theorem OAI.SnakyCertificate.Check.cache_equation_7 line 52
  13. theorem OAI.SnakyCertificate.Check.verified_row_8 line 58
  14. theorem OAI.SnakyCertificate.Check.load_entry_8 line 61
  15. theorem OAI.SnakyCertificate.Check.cache_equation_8 line 65
  16. theorem OAI.SnakyCertificate.Check.verified_row_9 line 71
  17. theorem OAI.SnakyCertificate.Check.load_entry_9 line 74
  18. theorem OAI.SnakyCertificate.Check.cache_equation_9 line 78
  19. theorem OAI.SnakyCertificate.Check.verified_row_10 line 84
  20. theorem OAI.SnakyCertificate.Check.load_entry_10 line 87
  21. theorem OAI.SnakyCertificate.Check.cache_equation_10 line 91
  22. theorem OAI.SnakyCertificate.Check.verified_row_11 line 97
  23. theorem OAI.SnakyCertificate.Check.load_entry_11 line 100
  24. theorem OAI.SnakyCertificate.Check.cache_equation_11 line 104
  25. theorem OAI.SnakyCertificate.Check.verified_row_12 line 110
  26. theorem OAI.SnakyCertificate.Check.load_entry_12 line 113
  27. theorem OAI.SnakyCertificate.Check.cache_equation_12 line 117
  28. theorem OAI.SnakyCertificate.Check.verified_row_13 line 123
  29. theorem OAI.SnakyCertificate.Check.load_entry_13 line 126
  30. theorem OAI.SnakyCertificate.Check.cache_equation_13 line 130
  31. theorem OAI.SnakyCertificate.Check.verified_row_14 line 136
  32. theorem OAI.SnakyCertificate.Check.load_entry_14 line 139
  33. theorem OAI.SnakyCertificate.Check.cache_equation_14 line 143
  34. theorem OAI.SnakyCertificate.Check.verified_row_15 line 149
  35. theorem OAI.SnakyCertificate.Check.load_entry_15 line 152
  36. theorem OAI.SnakyCertificate.Check.cache_equation_15 line 156
  37. theorem OAI.SnakyCertificate.Check.verified_row_16 line 162
  38. theorem OAI.SnakyCertificate.Check.load_entry_16 line 165
  39. theorem OAI.SnakyCertificate.Check.cache_equation_16 line 169
  40. theorem OAI.SnakyCertificate.Check.verified_row_17 line 175
  41. theorem OAI.SnakyCertificate.Check.load_entry_17 line 178
  42. theorem OAI.SnakyCertificate.Check.cache_equation_17 line 182
  43. theorem OAI.SnakyCertificate.Check.verified_row_18 line 188
  44. theorem OAI.SnakyCertificate.Check.load_entry_18 line 191
  45. theorem OAI.SnakyCertificate.Check.cache_equation_18 line 195
  46. theorem OAI.SnakyCertificate.Check.verified_row_19 line 201
  47. theorem OAI.SnakyCertificate.Check.load_entry_19 line 204
  48. theorem OAI.SnakyCertificate.Check.cache_equation_19 line 208
  49. theorem OAI.SnakyCertificate.Check.verified_row_20 line 214
  50. theorem OAI.SnakyCertificate.Check.load_entry_20 line 217
  51. theorem OAI.SnakyCertificate.Check.cache_equation_20 line 221
  52. theorem OAI.SnakyCertificate.Check.verified_row_21 line 227
  53. theorem OAI.SnakyCertificate.Check.load_entry_21 line 230
  54. theorem OAI.SnakyCertificate.Check.cache_equation_21 line 234
  55. theorem OAI.SnakyCertificate.Check.verified_row_22 line 240
  56. theorem OAI.SnakyCertificate.Check.load_entry_22 line 243
  57. theorem OAI.SnakyCertificate.Check.cache_equation_22 line 247
  58. theorem OAI.SnakyCertificate.Check.verified_row_23 line 253
  59. theorem OAI.SnakyCertificate.Check.load_entry_23 line 256
  60. theorem OAI.SnakyCertificate.Check.cache_equation_23 line 260
  61. theorem OAI.SnakyCertificate.Check.verified_row_24 line 266
  62. theorem OAI.SnakyCertificate.Check.load_entry_24 line 269
  63. theorem OAI.SnakyCertificate.Check.cache_equation_24 line 273
  64. theorem OAI.SnakyCertificate.Check.verified_row_25 line 279
  65. theorem OAI.SnakyCertificate.Check.load_entry_25 line 282
  66. theorem OAI.SnakyCertificate.Check.cache_equation_25 line 286
  67. theorem OAI.SnakyCertificate.Check.verified_row_26 line 292
  68. theorem OAI.SnakyCertificate.Check.load_entry_26 line 295
  69. theorem OAI.SnakyCertificate.Check.cache_equation_26 line 299
  70. theorem OAI.SnakyCertificate.Check.verified_row_27 line 305
  71. theorem OAI.SnakyCertificate.Check.load_entry_27 line 308
  72. theorem OAI.SnakyCertificate.Check.cache_equation_27 line 312
  73. theorem OAI.SnakyCertificate.Check.verified_row_28 line 318
  74. theorem OAI.SnakyCertificate.Check.load_entry_28 line 321
  75. theorem OAI.SnakyCertificate.Check.cache_equation_28 line 325
  76. theorem OAI.SnakyCertificate.Check.verified_row_29 line 331
  77. theorem OAI.SnakyCertificate.Check.load_entry_29 line 334
  78. theorem OAI.SnakyCertificate.Check.cache_equation_29 line 338
  79. theorem OAI.SnakyCertificate.Check.verified_row_30 line 344
  80. theorem OAI.SnakyCertificate.Check.load_entry_30 line 347
  81. theorem OAI.SnakyCertificate.Check.cache_equation_30 line 351
  82. theorem OAI.SnakyCertificate.Check.verified_row_31 line 357
  83. theorem OAI.SnakyCertificate.Check.load_entry_31 line 360
  84. theorem OAI.SnakyCertificate.Check.cache_equation_31 line 364
  85. theorem OAI.SnakyCertificate.Check.verified_row_32 line 370
  86. theorem OAI.SnakyCertificate.Check.load_entry_32 line 373
  87. theorem OAI.SnakyCertificate.Check.cache_equation_32 line 377
  88. theorem OAI.SnakyCertificate.Check.verified_row_33 line 383
  89. theorem OAI.SnakyCertificate.Check.load_entry_33 line 386
  90. theorem OAI.SnakyCertificate.Check.cache_equation_33 line 390
  91. theorem OAI.SnakyCertificate.Check.verified_row_34 line 396
  92. theorem OAI.SnakyCertificate.Check.load_entry_34 line 399
  93. theorem OAI.SnakyCertificate.Check.cache_equation_34 line 403
  94. theorem OAI.SnakyCertificate.Check.verified_row_35 line 409
  95. theorem OAI.SnakyCertificate.Check.load_entry_35 line 412
  96. theorem OAI.SnakyCertificate.Check.cache_equation_35 line 416
  97. theorem OAI.SnakyCertificate.Check.verified_row_36 line 422
  98. theorem OAI.SnakyCertificate.Check.load_entry_36 line 425
  99. theorem OAI.SnakyCertificate.Check.cache_equation_36 line 429
  100. theorem OAI.SnakyCertificate.Check.verified_row_37 line 435
  101. theorem OAI.SnakyCertificate.Check.load_entry_37 line 438
  102. theorem OAI.SnakyCertificate.Check.cache_equation_37 line 442
  103. theorem OAI.SnakyCertificate.Check.verified_row_38 line 448
  104. theorem OAI.SnakyCertificate.Check.load_entry_38 line 451
  105. theorem OAI.SnakyCertificate.Check.cache_equation_38 line 455
  106. theorem OAI.SnakyCertificate.Check.verified_row_39 line 461
  107. theorem OAI.SnakyCertificate.Check.load_entry_39 line 464
  108. theorem OAI.SnakyCertificate.Check.cache_equation_39 line 468