OAI/Analysis/Triangular/Signs/Signs16.lean

GitHub source file

92 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_0 line 10
  2. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_0_calc line 18
  3. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_1 line 21
  4. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_1_calc line 29
  5. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_2 line 32
  6. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_2_calc line 40
  7. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_3 line 43
  8. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_3_calc line 51
  9. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_4 line 54
  10. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_4_calc line 62
  11. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_5 line 65
  12. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_5_calc line 73
  13. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_6 line 76
  14. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_6_calc line 84
  15. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_7 line 87
  16. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_7_calc line 95
  17. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_8 line 98
  18. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_8_calc line 106
  19. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_9 line 109
  20. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_9_calc line 117
  21. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_10 line 120
  22. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_10_calc line 128
  23. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_11 line 131
  24. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_11_calc line 139
  25. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_12 line 142
  26. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_12_calc line 150
  27. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_13 line 153
  28. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_13_calc line 161
  29. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_14 line 164
  30. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_14_calc line 172
  31. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_15 line 175
  32. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_15_calc line 183
  33. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_16 line 186
  34. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_16_calc line 194
  35. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_17 line 197
  36. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_17_calc line 205
  37. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_18 line 208
  38. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_18_calc line 216
  39. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_19 line 219
  40. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_19_calc line 227
  41. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_20 line 230
  42. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_20_calc line 238
  43. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_0 line 241
  44. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_mem line 242
  45. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_0_lower line 268
  46. lemma OAI.AtomicTriangular.FiniteCertificate.ordinary_sign_1_6_0 line 273
  47. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_0 line 278
  48. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_0_calc line 286
  49. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_1 line 289
  50. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_1_calc line 297
  51. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_2 line 300
  52. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_2_calc line 308
  53. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_3 line 311
  54. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_3_calc line 319
  55. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_4 line 322
  56. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_4_calc line 330
  57. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_5 line 333
  58. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_5_calc line 341
  59. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_6 line 344
  60. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_6_calc line 352
  61. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_7 line 355
  62. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_7_calc line 363
  63. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_8 line 366
  64. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_8_calc line 374
  65. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_9 line 377
  66. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_9_calc line 385
  67. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_10 line 388
  68. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_10_calc line 396
  69. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_11 line 399
  70. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_11_calc line 407
  71. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_12 line 410
  72. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_12_calc line 418
  73. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_13 line 421
  74. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_13_calc line 429
  75. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_14 line 432
  76. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_14_calc line 440
  77. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_15 line 443
  78. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_15_calc line 451
  79. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_16 line 454
  80. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_16_calc line 462
  81. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_17 line 465
  82. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_17_calc line 473
  83. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_18 line 476
  84. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_18_calc line 484
  85. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_19 line 487
  86. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_19_calc line 495
  87. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_20 line 498
  88. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_20_calc line 506
  89. def OAI.AtomicTriangular.FiniteCertificate.bs1_6_1 line 509
  90. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_mem line 510
  91. lemma OAI.AtomicTriangular.FiniteCertificate.bs1_6_1_lower line 536
  92. lemma OAI.AtomicTriangular.FiniteCertificate.ordinary_sign_1_6_1 line 541