OAI/Analysis/Triangular/Taylor/TaylorSpectrum.lean

GitHub source file

262 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.ATable line 10
2. lemma OAI.AtomicTriangular.FiniteCertificate.ATable_mem line 11
3. def OAI.AtomicTriangular.FiniteCertificate.spectrumBox line 16
4. lemma OAI.AtomicTriangular.FiniteCertificate.spectrumBox_mem line 19
5. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_0 line 26
6. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_0_calc line 34
7. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_1 line 37
8. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_1_calc line 45
9. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_2 line 48
10. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_2_calc line 56
11. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_3 line 59
12. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_3_calc line 67
13. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_4 line 70
14. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_4_calc line 78
15. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_5 line 81
16. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_5_calc line 89
17. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_6 line 92
18. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_6_calc line 100
19. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_7 line 103
20. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_7_calc line 111
21. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_8 line 114
22. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_8_calc line 122
23. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_9 line 125
24. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_9_calc line 133
25. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_10 line 136
26. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_10_calc line 144
27. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_11 line 147
28. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_11_calc line 155
29. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_12 line 158
30. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_12_calc line 166
31. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_13 line 169
32. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_13_calc line 177
33. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_14 line 180
34. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_14_calc line 188
35. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_15 line 191
36. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_15_calc line 199
37. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_16 line 202
38. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_16_calc line 210
39. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_17 line 213
40. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_17_calc line 221
41. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_18 line 224
42. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_18_calc line 232
43. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_19 line 235
44. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_19_calc line 243
45. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_20 line 246
46. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_20_calc line 254
47. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_21 line 257
48. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_21_calc line 265
49. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_22 line 268
50. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_22_calc line 276
51. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_23 line 279
52. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_23_calc line 287
53. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_24 line 290
54. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_24_calc line 298
55. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_25 line 301
56. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_25_calc line 309
57. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_26 line 312
58. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_26_calc line 320
59. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_27 line 323
60. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_27_calc line 331
61. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_28 line 334
62. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_28_calc line 342
63. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_29 line 345
64. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_29_calc line 353
65. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_30 line 356
66. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_30_calc line 364
67. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_0 line 367
68. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_0_mem line 368
69. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_0 line 404
70. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_0_calc line 412
71. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_1 line 415
72. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_1_calc line 423
73. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_2 line 426
74. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_2_calc line 434
75. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_3 line 437
76. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_3_calc line 445
77. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_4 line 448
78. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_4_calc line 456
79. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_5 line 459
80. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_5_calc line 467
81. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_6 line 470
82. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_6_calc line 478
83. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_7 line 481
84. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_7_calc line 489
85. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_8 line 492
86. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_8_calc line 500
87. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_9 line 503
88. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_9_calc line 511
89. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_10 line 514
90. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_10_calc line 522
91. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_11 line 525
92. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_11_calc line 533
93. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_12 line 536
94. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_12_calc line 544
95. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_13 line 547
96. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_13_calc line 555
97. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_14 line 558
98. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_14_calc line 566
99. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_15 line 569
100. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_15_calc line 577
101. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_16 line 580
102. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_16_calc line 588
103. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_17 line 591
104. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_17_calc line 599
105. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_18 line 602
106. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_18_calc line 610
107. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_19 line 613
108. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_19_calc line 621
109. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_20 line 624
110. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_20_calc line 632
111. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_21 line 635
112. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_21_calc line 643
113. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_22 line 646
114. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_22_calc line 654
115. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_23 line 657
116. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_23_calc line 665
117. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_24 line 668
118. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_24_calc line 676
119. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_25 line 679
120. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_25_calc line 687
121. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_26 line 690
122. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_26_calc line 698
123. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_27 line 701
124. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_27_calc line 709
125. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_28 line 712
126. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_28_calc line 720
127. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_29 line 723
128. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_29_calc line 731
129. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_30 line 734
130. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_30_calc line 742
131. def OAI.AtomicTriangular.FiniteCertificate.spectrum0_1 line 745
132. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum0_1_mem line 746
133. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_0 line 782
134. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_0_calc line 790
135. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_1 line 793
136. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_1_calc line 801
137. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_2 line 804
138. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_2_calc line 812
139. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_3 line 815
140. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_3_calc line 823
141. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_4 line 826
142. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_4_calc line 834
143. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_5 line 837
144. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_5_calc line 845
145. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_6 line 848
146. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_6_calc line 856
147. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_7 line 859
148. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_7_calc line 867
149. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_8 line 870
150. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_8_calc line 878
151. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_9 line 881
152. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_9_calc line 889
153. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_10 line 892
154. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_10_calc line 900
155. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_11 line 903
156. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_11_calc line 911
157. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_12 line 914
158. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_12_calc line 922
159. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_13 line 925
160. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_13_calc line 933
161. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_14 line 936
162. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_14_calc line 944
163. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_15 line 947
164. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_15_calc line 955
165. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_16 line 958
166. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_16_calc line 966
167. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_17 line 969
168. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_17_calc line 977
169. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_18 line 980
170. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_18_calc line 988
171. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_19 line 991
172. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_19_calc line 999
173. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_20 line 1002
174. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_20_calc line 1010
175. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_21 line 1013
176. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_21_calc line 1021
177. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_22 line 1024
178. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_22_calc line 1032
179. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_23 line 1035
180. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_23_calc line 1043
181. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_24 line 1046
182. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_24_calc line 1054
183. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_25 line 1057
184. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_25_calc line 1065
185. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_26 line 1068
186. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_26_calc line 1076
187. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_27 line 1079
188. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_27_calc line 1087
189. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_28 line 1090
190. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_28_calc line 1098
191. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_29 line 1101
192. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_29_calc line 1109
193. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_30 line 1112
194. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_30_calc line 1120
195. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_0 line 1123
196. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_0_mem line 1124
197. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_0 line 1160
198. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_0_calc line 1168
199. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_1 line 1171
200. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_1_calc line 1179
201. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_2 line 1182
202. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_2_calc line 1190
203. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_3 line 1193
204. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_3_calc line 1201
205. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_4 line 1204
206. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_4_calc line 1212
207. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_5 line 1215
208. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_5_calc line 1223
209. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_6 line 1226
210. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_6_calc line 1234
211. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_7 line 1237
212. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_7_calc line 1245
213. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_8 line 1248
214. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_8_calc line 1256
215. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_9 line 1259
216. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_9_calc line 1267
217. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_10 line 1270
218. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_10_calc line 1278
219. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_11 line 1281
220. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_11_calc line 1289
221. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_12 line 1292
222. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_12_calc line 1300
223. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_13 line 1303
224. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_13_calc line 1311
225. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_14 line 1314
226. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_14_calc line 1322
227. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_15 line 1325
228. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_15_calc line 1333
229. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_16 line 1336
230. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_16_calc line 1344
231. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_17 line 1347
232. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_17_calc line 1355
233. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_18 line 1358
234. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_18_calc line 1366
235. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_19 line 1369
236. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_19_calc line 1377
237. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_20 line 1380
238. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_20_calc line 1388
239. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_21 line 1391
240. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_21_calc line 1399
241. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_22 line 1402
242. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_22_calc line 1410
243. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_23 line 1413
244. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_23_calc line 1421
245. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_24 line 1424
246. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_24_calc line 1432
247. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_25 line 1435
248. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_25_calc line 1443
249. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_26 line 1446
250. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_26_calc line 1454
251. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_27 line 1457
252. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_27_calc line 1465
253. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_28 line 1468
254. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_28_calc line 1476
255. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_29 line 1479
256. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_29_calc line 1487
257. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_30 line 1490
258. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_30_calc line 1498
259. def OAI.AtomicTriangular.FiniteCertificate.spectrum1_1 line 1501
260. lemma OAI.AtomicTriangular.FiniteCertificate.spectrum1_1_mem line 1502
261. def OAI.AtomicTriangular.FiniteCertificate.spectrumTable line 1538
262. lemma OAI.AtomicTriangular.FiniteCertificate.spectrumTable_mem line 1539