OAI/Analysis/Triangular/Certificate/ParamA.lean

GitHub source file

102 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.FiniteCertificate.A1CachedBox line 9
  2. lemma OAI.AtomicTriangular.FiniteCertificate.A1CachedBox_mem line 13
  3. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow0 line 22
  4. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow0_calc line 23
  5. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow1 line 26
  6. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow1_calc line 27
  7. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow2 line 30
  8. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow2_calc line 31
  9. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow3 line 34
  10. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow3_calc line 35
  11. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow4 line 38
  12. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow4_calc line 39
  13. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow5 line 42
  14. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow5_calc line 43
  15. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow6 line 46
  16. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow6_calc line 47
  17. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow7 line 50
  18. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow7_calc line 51
  19. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow8 line 54
  20. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow8_calc line 55
  21. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow9 line 58
  22. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow9_calc line 59
  23. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow10 line 62
  24. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow10_calc line 63
  25. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow11 line 66
  26. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow11_calc line 67
  27. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow12 line 70
  28. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow12_calc line 71
  29. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow13 line 74
  30. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow13_calc line 75
  31. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow14 line 78
  32. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow14_calc line 79
  33. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow15 line 82
  34. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow15_calc line 83
  35. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow16 line 86
  36. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow16_calc line 87
  37. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow17 line 90
  38. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow17_calc line 91
  39. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow18 line 94
  40. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow18_calc line 95
  41. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow19 line 98
  42. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow19_calc line 99
  43. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow20 line 102
  44. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow20_calc line 103
  45. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow21 line 106
  46. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow21_calc line 107
  47. def OAI.AtomicTriangular.FiniteCertificate.A1TableRow22 line 110
  48. lemma OAI.AtomicTriangular.FiniteCertificate.A1TableRow22_calc line 111
  49. def OAI.AtomicTriangular.FiniteCertificate.A1Table line 114
  50. lemma OAI.AtomicTriangular.FiniteCertificate.A1Table_calc line 115
  51. lemma OAI.AtomicTriangular.FiniteCertificate.A1Table_mem line 140
  52. def OAI.AtomicTriangular.FiniteCertificate.A2CachedBox line 143
  53. lemma OAI.AtomicTriangular.FiniteCertificate.A2CachedBox_mem line 147
  54. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow0 line 156
  55. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow0_calc line 157
  56. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow1 line 160
  57. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow1_calc line 161
  58. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow2 line 164
  59. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow2_calc line 165
  60. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow3 line 168
  61. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow3_calc line 169
  62. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow4 line 172
  63. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow4_calc line 173
  64. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow5 line 176
  65. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow5_calc line 177
  66. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow6 line 180
  67. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow6_calc line 181
  68. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow7 line 184
  69. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow7_calc line 185
  70. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow8 line 188
  71. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow8_calc line 189
  72. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow9 line 192
  73. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow9_calc line 193
  74. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow10 line 196
  75. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow10_calc line 197
  76. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow11 line 200
  77. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow11_calc line 201
  78. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow12 line 204
  79. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow12_calc line 205
  80. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow13 line 208
  81. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow13_calc line 209
  82. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow14 line 212
  83. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow14_calc line 213
  84. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow15 line 216
  85. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow15_calc line 217
  86. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow16 line 220
  87. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow16_calc line 221
  88. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow17 line 224
  89. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow17_calc line 225
  90. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow18 line 228
  91. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow18_calc line 229
  92. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow19 line 232
  93. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow19_calc line 233
  94. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow20 line 236
  95. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow20_calc line 237
  96. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow21 line 240
  97. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow21_calc line 241
  98. def OAI.AtomicTriangular.FiniteCertificate.A2TableRow22 line 244
  99. lemma OAI.AtomicTriangular.FiniteCertificate.A2TableRow22_calc line 245
  100. def OAI.AtomicTriangular.FiniteCertificate.A2Table line 248
  101. lemma OAI.AtomicTriangular.FiniteCertificate.A2Table_calc line 249
  102. lemma OAI.AtomicTriangular.FiniteCertificate.A2Table_mem line 274