OAI/Analysis/Triangular/Construction/CurvatureSums.lean

GitHub source file

60 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_0 line 14
  2. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_0_calc line 15
  3. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_0_bound line 18
  4. def OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_1 line 23
  5. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_1_calc line 24
  6. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_1_bound line 27
  7. def OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_2 line 32
  8. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_2_calc line 33
  9. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_2_bound line 36
  10. def OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_3 line 41
  11. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_3_calc line 42
  12. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_3_bound line 45
  13. def OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_4 line 50
  14. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_4_calc line 51
  15. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn0_4_bound line 54
  16. def OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_0 line 59
  17. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_0_calc line 60
  18. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_0_bound line 63
  19. def OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_1 line 68
  20. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_1_calc line 69
  21. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_1_bound line 72
  22. def OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_2 line 77
  23. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_2_calc line 78
  24. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_2_bound line 81
  25. def OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_3 line 86
  26. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_3_calc line 87
  27. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_3_bound line 90
  28. def OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_4 line 95
  29. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_4_calc line 96
  30. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureColumn1_4_bound line 99
  31. def OAI.AtomicTriangular.FiniteCertificate.curvatureConstant0 line 104
  32. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureConstant0_calc line 105
  33. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureConstant0_bound line 106
  34. def OAI.AtomicTriangular.FiniteCertificate.curvatureTail0 line 111
  35. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTail0_calc line 112
  36. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTail0_bound line 113
  37. def OAI.AtomicTriangular.FiniteCertificate.curvatureConstant1 line 118
  38. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureConstant1_calc line 119
  39. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureConstant1_bound line 120
  40. def OAI.AtomicTriangular.FiniteCertificate.curvatureTail1 line 125
  41. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTail1_calc line 126
  42. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTail1_bound line 127
  43. def OAI.AtomicTriangular.FiniteCertificate.curvatureConstant2 line 132
  44. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureConstant2_calc line 133
  45. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureConstant2_bound line 134
  46. def OAI.AtomicTriangular.FiniteCertificate.curvatureTail2 line 139
  47. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTail2_calc line 140
  48. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTail2_bound line 141
  49. def OAI.AtomicTriangular.FiniteCertificate.curvatureConstant3 line 146
  50. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureConstant3_calc line 147
  51. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureConstant3_bound line 148
  52. def OAI.AtomicTriangular.FiniteCertificate.curvatureTail3 line 153
  53. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTail3_calc line 154
  54. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTail3_bound line 155
  55. def OAI.AtomicTriangular.FiniteCertificate.curvatureConstant4 line 160
  56. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureConstant4_calc line 161
  57. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureConstant4_bound line 162
  58. def OAI.AtomicTriangular.FiniteCertificate.curvatureTail4 line 167
  59. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTail4_calc line 168
  60. lemma OAI.AtomicTriangular.FiniteCertificate.curvatureTail4_bound line 169