OAI/Combinatorics/Ramsey/CycleClique/Construction/CoverageK10.lean

GitHub source file

249 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover8 line 8
2. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover7 line 12
3. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover9 line 18
4. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover10 line 22
5. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover11 line 26
6. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover12 line 30
7. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover13 line 34
8. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover6 line 38
9. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover14 line 63
10. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover15 line 69
11. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover16 line 73
12. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover17 line 77
13. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover18 line 81
14. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover19 line 85
15. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover20 line 91
16. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover21 line 95
17. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover22 line 99
18. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover23 line 105
19. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover24 line 111
20. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover5 line 117
21. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover26 line 192
22. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover27 line 196
23. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover28 line 200
24. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover29 line 204
25. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover25 line 208
26. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover30 line 230
27. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover31 line 236
28. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover32 line 240
29. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover33 line 244
30. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover34 line 248
31. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover35 line 254
32. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover36 line 258
33. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover37 line 262
34. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover38 line 268
35. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover39 line 272
36. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover41 line 278
37. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover42 line 282
38. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover40 line 286
39. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover43 line 305
40. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover44 line 309
41. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover45 line 315
42. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover46 line 321
43. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover47 line 337
44. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover48 line 350
45. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_seq4 line 360
46. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover3 line 507
47. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover50 line 512
48. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover51 line 518
49. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover52 line 522
50. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover53 line 526
51. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover54 line 530
52. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover55 line 536
53. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover56 line 540
54. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover57 line 546
55. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover49 line 552
56. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover59 line 608
57. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover60 line 612
58. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover58 line 616
59. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover61 line 635
60. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover62 line 641
61. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover63 line 645
62. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover64 line 649
63. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover65 line 655
64. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover66 line 659
65. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover68 line 665
66. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover67 line 669
67. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover69 line 685
68. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover70 line 691
69. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover71 line 697
70. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover72 line 710
71. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover73 line 716
72. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover75 line 726
73. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover76 line 732
74. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover74 line 738
75. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover77 line 778
76. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover78 line 784
77. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover79 line 797
78. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover80 line 807
79. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover81 line 834
80. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover82 line 851
81. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_seq2 line 861
82. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t5_cover1 line 1063
83. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k10_t5 line 1068
84. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover7 line 1072
85. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover6 line 1076
86. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover8 line 1082
87. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover9 line 1086
88. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover10 line 1090
89. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover11 line 1094
90. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover5 line 1098
91. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover12 line 1120
92. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover13 line 1126
93. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover14 line 1130
94. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover15 line 1134
95. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover16 line 1138
96. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover17 line 1144
97. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover18 line 1148
98. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover19 line 1154
99. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover4 line 1160
100. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover21 line 1216
101. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover22 line 1220
102. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover23 line 1224
103. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover20 line 1228
104. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover24 line 1247
105. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover25 line 1253
106. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover26 line 1257
107. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover27 line 1261
108. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover28 line 1267
109. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover29 line 1271
110. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover31 line 1277
111. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover30 line 1281
112. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover32 line 1297
113. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover33 line 1303
114. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover34 line 1316
115. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover3 line 1326
116. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover36 line 1418
117. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover37 line 1424
118. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover38 line 1428
119. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover39 line 1432
120. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover40 line 1438
121. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover35 line 1444
122. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover42 line 1484
123. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover41 line 1488
124. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover43 line 1504
125. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover44 line 1510
126. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover45 line 1514
127. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover46 line 1520
128. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover47 line 1533
129. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover48 line 1539
130. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover50 line 1549
131. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover49 line 1555
132. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover51 line 1582
133. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover52 line 1592
134. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover53 line 1609
135. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover2 line 1619
136. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover56 line 1730
137. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover57 line 1734
138. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover55 line 1738
139. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover58 line 1754
140. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover59 line 1760
141. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover60 line 1764
142. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover61 line 1770
143. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover62 line 1783
144. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover54 line 1793
145. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover64 line 1848
146. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover65 line 1852
147. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover63 line 1858
148. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover66 line 1885
149. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover67 line 1898
150. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover68 line 1904
151. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover69 line 1914
152. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover70 line 1931
153. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover71 line 1941
154. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover73 line 1951
155. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover72 line 1961
156. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover74 line 1992
157. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover75 line 2002
158. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover76 line 2019
159. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t6_cover1 line 2029
160. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k10_t6 line 2144
161. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover8 line 2148
162. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover7 line 2152
163. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover9 line 2158
164. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover10 line 2162
165. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover11 line 2166
166. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover6 line 2170
167. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover12 line 2189
168. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover13 line 2195
169. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover14 line 2199
170. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover15 line 2203
171. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover16 line 2209
172. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover5 line 2215
173. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover18 line 2255
174. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover19 line 2259
175. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover17 line 2263
176. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover20 line 2279
177. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover21 line 2285
178. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover22 line 2289
179. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover23 line 2295
180. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover24 line 2308
181. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover4 line 2318
182. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover26 line 2373
183. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover27 line 2379
184. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover28 line 2383
185. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover25 line 2389
186. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover29 line 2416
187. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover30 line 2429
188. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover31 line 2435
189. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover32 line 2445
190. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover33 line 2462
191. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover3 line 2472
192. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover36 line 2531
193. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover35 line 2535
194. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover37 line 2548
195. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover38 line 2554
196. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover34 line 2564
197. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover39 line 2595
198. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover40 line 2612
199. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover41 line 2622
200. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover42 line 2632
201. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover43 line 2649
202. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover2 line 2659
203. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover46 line 2718
204. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover45 line 2724
205. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover47 line 2741
206. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover48 line 2751
207. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover44 line 2761
208. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover49 line 2792
209. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover50 line 2809
210. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover51 line 2819
211. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover52 line 2829
212. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover53 line 2846
213. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t7_cover1 line 2856
214. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k10_t7 line 2915
215. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover9 line 2919
216. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover8 line 2923
217. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover10 line 2929
218. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover11 line 2933
219. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover7 line 2937
220. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover12 line 2953
221. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover13 line 2959
222. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover14 line 2963
223. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover6 line 2969
224. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover16 line 2996
225. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover15 line 3000
226. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover17 line 3013
227. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover18 line 3019
228. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover5 line 3029
229. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover20 line 3060
230. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover19 line 3066
231. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover21 line 3083
232. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover22 line 3093
233. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover4 line 3103
234. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover24 line 3134
235. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover23 line 3144
236. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover25 line 3161
237. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover26 line 3171
238. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover3 line 3181
239. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover28 line 3212
240. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover27 line 3222
241. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover29 line 3239
242. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover30 line 3249
243. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover2 line 3259
244. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover32 line 3290
245. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover31 line 3300
246. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover33 line 3317
247. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover34 line 3327
248. theorem OAI.CycleClique.Construction.CertifiedCoverage.k10t8_cover1 line 3337
249. theorem OAI.CycleClique.Construction.CertifiedCoverage.coverage_k10_t8 line 3368