OAI/RepresentationTheory/UniversalSquare/Finite/DegreeRegions62.lean

GitHub source file

200 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_18 line 15
2. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_27 line 32
3. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_37 line 50
4. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_11 line 69
5. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_79 line 101
6. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_73 line 117
7. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_67 line 132
8. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_99 line 147
9. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_93 line 163
10. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_114 line 178
11. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_122 line 194
12. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_107 line 211
13. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_87 line 228
14. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_134 line 244
15. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_141 line 256
16. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_146 line 269
17. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_138 line 283
18. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_155 line 296
19. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_160 line 309
20. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_166 line 323
21. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_152 line 338
22. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_177 line 352
23. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_182 line 365
24. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_188 line 379
25. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_195 line 394
26. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_173 line 410
27. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_207 line 426
28. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_212 line 439
29. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_218 line 453
30. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_225 line 468
31. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_203 line 484
32. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_238 line 501
33. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_243 line 514
34. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_249 line 528
35. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_234 line 543
36. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_131 line 561
37. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_265 line 578
38. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_262 line 591
39. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_273 line 603
40. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_278 line 616
41. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_270 line 630
42. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_288 line 643
43. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_293 line 656
44. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_299 line 670
45. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_284 line 685
46. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_310 line 700
47. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_315 line 713
48. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_321 line 727
49. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_328 line 742
50. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_306 line 758
51. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_340 line 774
52. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_345 line 787
53. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_351 line 801
54. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_336 line 816
55. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_364 line 833
56. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_369 line 846
57. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_360 line 860
58. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_383 line 878
59. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_379 line 891
60. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_259 line 910
61. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_400 line 928
62. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_397 line 941
63. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_409 line 953
64. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_414 line 966
65. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_405 line 980
66. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_424 line 994
67. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_429 line 1007
68. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_435 line 1021
69. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_420 line 1036
70. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_446 line 1051
71. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_451 line 1064
72. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_457 line 1078
73. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_442 line 1093
74. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_469 line 1109
75. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_474 line 1122
76. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_465 line 1136
77. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_487 line 1153
78. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_483 line 1166
79. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_394 line 1184
80. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_62 line 1203
81. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_532 line 1235
82. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_525 line 1251
83. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_519 line 1267
84. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_553 line 1282
85. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_546 line 1298
86. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_568 line 1314
87. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_577 line 1331
88. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_561 line 1349
89. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_540 line 1366
90. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_596 line 1382
91. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_591 line 1396
92. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_607 line 1410
93. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_613 line 1424
94. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_602 line 1439
95. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_625 line 1454
96. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_631 line 1468
97. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_638 line 1483
98. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_620 line 1500
99. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_651 line 1516
100. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_656 line 1529
101. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_662 line 1543
102. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_670 line 1559
103. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_647 line 1576
104. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_684 line 1593
105. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_689 line 1606
106. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_696 line 1621
107. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_680 line 1637
108. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_587 line 1655
109. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_710 line 1672
110. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_720 line 1685
111. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_715 line 1699
112. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_731 line 1713
113. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_737 line 1727
114. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_726 line 1742
115. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_748 line 1757
116. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_753 line 1770
117. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_759 line 1784
118. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_767 line 1800
119. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_744 line 1817
120. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_780 line 1833
121. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_785 line 1846
122. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_792 line 1861
123. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_776 line 1877
124. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_806 line 1894
125. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_812 line 1908
126. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_802 line 1923
127. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_823 line 1941
128. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_707 line 1960
129. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_838 line 1978
130. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_848 line 1991
131. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_843 line 2005
132. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_858 line 2019
133. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_863 line 2032
134. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_869 line 2046
135. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_854 line 2062
136. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_881 line 2077
137. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_886 line 2090
138. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_893 line 2105
139. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_877 line 2121
140. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_906 line 2137
141. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_912 line 2151
142. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_902 line 2166
143. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_922 line 2183
144. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_834 line 2201
145. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_513 line 2221
146. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_954 line 2254
147. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_969 line 2270
148. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_984 line 2286
149. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_993 line 2303
150. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_977 line 2321
151. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_962 line 2338
152. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1013 line 2355
153. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1008 line 2369
154. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1024 line 2383
155. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1031 line 2398
156. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1019 line 2414
157. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1044 line 2429
158. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1051 line 2444
159. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1059 line 2460
160. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1039 line 2477
161. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1073 line 2493
162. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1080 line 2508
163. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1088 line 2524
164. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1068 line 2541
165. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1103 line 2558
166. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1110 line 2573
167. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1098 line 2589
168. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1003 line 2607
169. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1131 line 2625
170. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1126 line 2640
171. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1143 line 2654
172. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1150 line 2669
173. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1138 line 2685
174. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1163 line 2700
175. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1170 line 2715
176. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1178 line 2731
177. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1158 line 2748
178. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1192 line 2764
179. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1199 line 2779
180. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1187 line 2795
181. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1214 line 2812
182. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1209 line 2827
183. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1225 line 2845
184. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1121 line 2865
185. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1247 line 2884
186. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1242 line 2899
187. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1259 line 2913
188. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1266 line 2928
189. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1254 line 2944
190. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1279 line 2959
191. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1286 line 2974
192. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1274 line 2990
193. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1300 line 3006
194. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1295 line 3021
195. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1310 line 3038
196. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_1237 line 3057
197. lemma OAI.UniversalTensorSquare.degreeUnionBranch62_948 line 3077
198. lemma OAI.UniversalTensorSquare.degreeUnionCheck62 line 3110
199. lemma OAI.UniversalTensorSquare.degreeHalfCover62 line 3144
200. lemma OAI.UniversalTensorSquare.degreeDiagramRegionsChecked62 line 3147