OAI/Geometry/Convex/GeneralMahler/Middle/Rtrue4.lean

GitHub source file

63 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_0_2 line 6
  2. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_2_5 line 10
  3. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_0_5 line 14
  4. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_5_8 line 15
  5. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_8_11 line 19
  6. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_5_11 line 23
  7. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_0_11 line 24
  8. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_11_13 line 25
  9. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_13_16 line 29
  10. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_11_16 line 33
  11. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_16_19 line 34
  12. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_19_22 line 38
  13. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_16_22 line 42
  14. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_11_22 line 43
  15. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_0_22 line 44
  16. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_22_24 line 45
  17. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_24_27 line 49
  18. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_22_27 line 53
  19. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_27_30 line 54
  20. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_30_33 line 58
  21. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_27_33 line 62
  22. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_22_33 line 63
  23. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_33_36 line 64
  24. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_36_39 line 68
  25. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_33_39 line 72
  26. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_39_42 line 73
  27. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_42_45 line 77
  28. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_39_45 line 81
  29. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_33_45 line 82
  30. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_22_45 line 83
  31. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_0_45 line 84
  32. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_45_47 line 85
  33. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_47_50 line 89
  34. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_45_50 line 93
  35. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_50_53 line 94
  36. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_53_56 line 98
  37. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_50_56 line 102
  38. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_45_56 line 103
  39. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_56_58 line 104
  40. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_58_61 line 108
  41. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_56_61 line 112
  42. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_61_64 line 113
  43. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_64_67 line 117
  44. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_61_67 line 121
  45. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_56_67 line 122
  46. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_45_67 line 123
  47. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_67_69 line 124
  48. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_69_72 line 128
  49. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_67_72 line 132
  50. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_72_75 line 133
  51. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_75_78 line 137
  52. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_72_78 line 141
  53. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_67_78 line 142
  54. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_78_81 line 143
  55. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_81_84 line 147
  56. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_78_84 line 151
  57. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_84_87 line 152
  58. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_87_90 line 156
  59. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_84_90 line 160
  60. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_78_90 line 161
  61. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_67_90 line 162
  62. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_45_90 line 163
  63. lemma OAI.GeneralMahler.SCal.Mid.Tab.ctrue_4_0_90 line 164