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

GitHub source file

63 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_0_2 line 6
2. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_2_5 line 10
3. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_0_5 line 14
4. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_5_8 line 15
5. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_8_11 line 19
6. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_5_11 line 23
7. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_0_11 line 24
8. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_11_13 line 25
9. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_13_16 line 29
10. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_11_16 line 33
11. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_16_19 line 34
12. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_19_22 line 38
13. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_16_22 line 42
14. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_11_22 line 43
15. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_0_22 line 44
16. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_22_24 line 45
17. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_24_27 line 49
18. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_22_27 line 53
19. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_27_30 line 54
20. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_30_33 line 58
21. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_27_33 line 62
22. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_22_33 line 63
23. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_33_36 line 64
24. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_36_39 line 68
25. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_33_39 line 72
26. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_39_42 line 73
27. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_42_45 line 77
28. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_39_45 line 81
29. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_33_45 line 82
30. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_22_45 line 83
31. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_0_45 line 84
32. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_45_47 line 85
33. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_47_50 line 89
34. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_45_50 line 93
35. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_50_53 line 94
36. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_53_56 line 98
37. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_50_56 line 102
38. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_45_56 line 103
39. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_56_58 line 104
40. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_58_61 line 108
41. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_56_61 line 112
42. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_61_64 line 113
43. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_64_67 line 117
44. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_61_67 line 121
45. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_56_67 line 122
46. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_45_67 line 123
47. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_67_69 line 124
48. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_69_72 line 128
49. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_67_72 line 132
50. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_72_75 line 133
51. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_75_78 line 137
52. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_72_78 line 141
53. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_67_78 line 142
54. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_78_81 line 143
55. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_81_84 line 147
56. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_78_84 line 151
57. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_84_87 line 152
58. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_87_90 line 156
59. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_84_90 line 160
60. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_78_90 line 161
61. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_67_90 line 162
62. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_45_90 line 163
63. lemma OAI.GeneralMahler.SCal.Mid.Tab.cfalse_21_0_90 line 164