OAI/RepresentationTheory/UniversalSquare/Finite/DegreeLeaves35.lean

GitHub source file

149 declarations, 0 contain sorry, 0 declared as axioms

Degree Leaves 35.

  1. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_0 line 14
  2. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_1 line 17
  3. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_2 line 20
  4. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_3 line 23
  5. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_4 line 26
  6. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_5 line 29
  7. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_6 line 32
  8. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_7 line 35
  9. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_9 line 38
  10. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_10 line 41
  11. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_11 line 44
  12. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_12 line 47
  13. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_14 line 57
  14. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_15 line 60
  15. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_16 line 63
  16. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_17 line 66
  17. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_18 line 69
  18. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_19 line 72
  19. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_21 line 75
  20. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_22 line 78
  21. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_23 line 81
  22. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_24 line 84
  23. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_25 line 87
  24. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_26 line 90
  25. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_27 line 100
  26. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_28 line 103
  27. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_29 line 106
  28. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_30 line 109
  29. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_31 line 112
  30. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_32 line 115
  31. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_33 line 118
  32. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_34 line 121
  33. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_35 line 124
  34. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_36 line 127
  35. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_37 line 130
  36. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_38 line 133
  37. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_39 line 143
  38. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_40 line 146
  39. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_41 line 149
  40. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_42 line 152
  41. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_43 line 155
  42. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_44 line 158
  43. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_45 line 161
  44. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_46 line 164
  45. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_47 line 167
  46. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_48 line 170
  47. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_49 line 173
  48. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_50 line 176
  49. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_51 line 186
  50. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_53 line 189
  51. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_54 line 192
  52. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_55 line 195
  53. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_56 line 198
  54. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_58 line 201
  55. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_59 line 204
  56. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_60 line 207
  57. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_61 line 210
  58. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_62 line 213
  59. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_64 line 216
  60. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_65 line 219
  61. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_66 line 229
  62. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_67 line 232
  63. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_68 line 235
  64. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_69 line 238
  65. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_71 line 241
  66. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_72 line 244
  67. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_73 line 247
  68. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_74 line 250
  69. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_75 line 253
  70. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_76 line 256
  71. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_77 line 259
  72. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_78 line 262
  73. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_79 line 272
  74. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_80 line 275
  75. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_81 line 278
  76. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_82 line 281
  77. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_83 line 284
  78. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_84 line 287
  79. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_85 line 290
  80. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_86 line 293
  81. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_87 line 296
  82. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_88 line 299
  83. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_89 line 302
  84. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_90 line 305
  85. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_91 line 315
  86. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_92 line 318
  87. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_93 line 321
  88. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_94 line 324
  89. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_95 line 327
  90. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_96 line 330
  91. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_97 line 333
  92. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_98 line 336
  93. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_99 line 339
  94. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_100 line 342
  95. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_101 line 345
  96. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_103 line 348
  97. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_104 line 358
  98. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_105 line 361
  99. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_106 line 364
  100. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_108 line 367
  101. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_109 line 370
  102. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_110 line 373
  103. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_111 line 376
  104. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_112 line 379
  105. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_113 line 382
  106. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_115 line 385
  107. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_116 line 388
  108. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_117 line 391
  109. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_118 line 401
  110. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_119 line 404
  111. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_120 line 407
  112. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_121 line 410
  113. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_123 line 413
  114. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_124 line 416
  115. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_125 line 419
  116. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_126 line 422
  117. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_127 line 425
  118. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_128 line 428
  119. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_129 line 431
  120. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_130 line 434
  121. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_131 line 444
  122. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_132 line 447
  123. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_133 line 450
  124. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_134 line 453
  125. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_135 line 456
  126. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_136 line 459
  127. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_137 line 462
  128. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_138 line 465
  129. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_139 line 468
  130. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_140 line 471
  131. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_141 line 474
  132. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_142 line 477
  133. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_143 line 487
  134. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_144 line 490
  135. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_145 line 493
  136. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_146 line 496
  137. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_147 line 499
  138. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_148 line 502
  139. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_149 line 505
  140. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_150 line 508
  141. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_151 line 511
  142. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_152 line 514
  143. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_153 line 517
  144. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_154 line 520
  145. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_155 line 530
  146. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_156 line 533
  147. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_157 line 536
  148. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_158 line 539
  149. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_159 line 542