OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeProof39.lean

GitHub source file

128 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Proof 39.

  1. lemma OAI.UniversalTensorSquare.degreeTree39_0All line 20
  2. lemma OAI.UniversalTensorSquare.degreeTree39_1All line 23
  3. lemma OAI.UniversalTensorSquare.degreeTree39_2All line 26
  4. lemma OAI.UniversalTensorSquare.degreeTree39_3All line 29
  5. lemma OAI.UniversalTensorSquare.degreeTree39_4All line 32
  6. lemma OAI.UniversalTensorSquare.degreeTree39_5All line 35
  7. lemma OAI.UniversalTensorSquare.degreeTree39_6All line 38
  8. lemma OAI.UniversalTensorSquare.degreeTree39_7All line 41
  9. lemma OAI.UniversalTensorSquare.degreeTree39_8All line 44
  10. lemma OAI.UniversalTensorSquare.degreeTree39_9All line 47
  11. lemma OAI.UniversalTensorSquare.degreeTree39_10All line 50
  12. lemma OAI.UniversalTensorSquare.degreeTree39_11All line 53
  13. lemma OAI.UniversalTensorSquare.degreeTree39_12All line 56
  14. lemma OAI.UniversalTensorSquare.degreeTree39_13All line 59
  15. lemma OAI.UniversalTensorSquare.degreeTree39_14All line 62
  16. lemma OAI.UniversalTensorSquare.degreeTree39_15All line 65
  17. lemma OAI.UniversalTensorSquare.degreeTree39_16All line 68
  18. lemma OAI.UniversalTensorSquare.degreeTree39_17All line 71
  19. lemma OAI.UniversalTensorSquare.degreeTree39_18All line 74
  20. lemma OAI.UniversalTensorSquare.degreeTree39_19All line 77
  21. lemma OAI.UniversalTensorSquare.degreeTree39_20All line 80
  22. lemma OAI.UniversalTensorSquare.degreeTree39_21All line 83
  23. lemma OAI.UniversalTensorSquare.degreeTree39_22All line 86
  24. lemma OAI.UniversalTensorSquare.degreeTree39_23All line 89
  25. lemma OAI.UniversalTensorSquare.degreeTree39_24All line 92
  26. lemma OAI.UniversalTensorSquare.degreeTree39_25All line 95
  27. lemma OAI.UniversalTensorSquare.degreeTree39_26All line 98
  28. lemma OAI.UniversalTensorSquare.degreeTree39_27All line 101
  29. lemma OAI.UniversalTensorSquare.degreeTree39_28All line 104
  30. lemma OAI.UniversalTensorSquare.degreeTree39_29All line 107
  31. lemma OAI.UniversalTensorSquare.degreeTree39_30All line 110
  32. lemma OAI.UniversalTensorSquare.degreeTree39_31All line 113
  33. lemma OAI.UniversalTensorSquare.degreeTree39_32All line 116
  34. lemma OAI.UniversalTensorSquare.degreeTree39_33All line 119
  35. lemma OAI.UniversalTensorSquare.degreeTree39_34All line 122
  36. lemma OAI.UniversalTensorSquare.degreeTree39_35All line 125
  37. lemma OAI.UniversalTensorSquare.degreeTree39_36All line 128
  38. lemma OAI.UniversalTensorSquare.degreeTree39_37All line 131
  39. lemma OAI.UniversalTensorSquare.degreeTree39_38All line 134
  40. lemma OAI.UniversalTensorSquare.degreeTree39_39All line 137
  41. lemma OAI.UniversalTensorSquare.degreeTree39_40All line 140
  42. lemma OAI.UniversalTensorSquare.degreeTree39_41All line 143
  43. lemma OAI.UniversalTensorSquare.degreeTree39_42All line 146
  44. lemma OAI.UniversalTensorSquare.degreeTree39_43All line 149
  45. lemma OAI.UniversalTensorSquare.degreeTree39_44All line 152
  46. lemma OAI.UniversalTensorSquare.degreeTree39_45All line 155
  47. lemma OAI.UniversalTensorSquare.degreeTree39_46All line 158
  48. lemma OAI.UniversalTensorSquare.degreeTree39_47All line 161
  49. lemma OAI.UniversalTensorSquare.degreeTree39_48All line 164
  50. lemma OAI.UniversalTensorSquare.degreeTree39_49All line 167
  51. lemma OAI.UniversalTensorSquare.degreeTree39_50All line 170
  52. lemma OAI.UniversalTensorSquare.degreeTree39_51All line 173
  53. lemma OAI.UniversalTensorSquare.degreeTree39_52All line 176
  54. lemma OAI.UniversalTensorSquare.degreeTree39_53All line 179
  55. lemma OAI.UniversalTensorSquare.degreeTree39_54All line 182
  56. lemma OAI.UniversalTensorSquare.degreeTree39_55All line 185
  57. lemma OAI.UniversalTensorSquare.degreeTree39_56All line 188
  58. lemma OAI.UniversalTensorSquare.degreeTree39_57All line 191
  59. lemma OAI.UniversalTensorSquare.degreeTree39_58All line 194
  60. lemma OAI.UniversalTensorSquare.degreeTree39_59All line 197
  61. lemma OAI.UniversalTensorSquare.degreeTree39_60All line 200
  62. lemma OAI.UniversalTensorSquare.degreeTree39_61All line 203
  63. lemma OAI.UniversalTensorSquare.degreeTree39_62All line 206
  64. lemma OAI.UniversalTensorSquare.degreeTree39_63All line 209
  65. lemma OAI.UniversalTensorSquare.degreeTree39_64All line 212
  66. lemma OAI.UniversalTensorSquare.degreeTree39_65All line 215
  67. lemma OAI.UniversalTensorSquare.degreeTree39_66All line 218
  68. lemma OAI.UniversalTensorSquare.degreeTree39_67All line 221
  69. lemma OAI.UniversalTensorSquare.degreeTree39_68All line 224
  70. lemma OAI.UniversalTensorSquare.degreeTree39_69All line 227
  71. lemma OAI.UniversalTensorSquare.degreeTree39_70All line 230
  72. lemma OAI.UniversalTensorSquare.degreeTree39_71All line 233
  73. lemma OAI.UniversalTensorSquare.degreeTree39_72All line 236
  74. lemma OAI.UniversalTensorSquare.degreeTree39_73All line 239
  75. lemma OAI.UniversalTensorSquare.degreeTree39_74All line 242
  76. lemma OAI.UniversalTensorSquare.degreeTree39_75All line 245
  77. lemma OAI.UniversalTensorSquare.degreeTree39_76All line 248
  78. lemma OAI.UniversalTensorSquare.degreeTree39_77All line 251
  79. lemma OAI.UniversalTensorSquare.degreeTree39_78All line 254
  80. lemma OAI.UniversalTensorSquare.degreeTree39_79All line 257
  81. lemma OAI.UniversalTensorSquare.degreeTree39_80All line 260
  82. lemma OAI.UniversalTensorSquare.degreeTree39_81All line 263
  83. lemma OAI.UniversalTensorSquare.degreeTree39_82All line 266
  84. lemma OAI.UniversalTensorSquare.degreeTree39_83All line 269
  85. lemma OAI.UniversalTensorSquare.degreeTree39_84All line 272
  86. lemma OAI.UniversalTensorSquare.degreeTree39_85All line 275
  87. lemma OAI.UniversalTensorSquare.degreeTree39_86All line 278
  88. lemma OAI.UniversalTensorSquare.degreeTree39_87All line 281
  89. lemma OAI.UniversalTensorSquare.degreeTree39_88All line 284
  90. lemma OAI.UniversalTensorSquare.degreeTree39_89All line 287
  91. lemma OAI.UniversalTensorSquare.degreeTree39_90All line 290
  92. lemma OAI.UniversalTensorSquare.degreeTree39_91All line 293
  93. lemma OAI.UniversalTensorSquare.degreeTree39_92All line 296
  94. lemma OAI.UniversalTensorSquare.degreeTree39_93All line 299
  95. lemma OAI.UniversalTensorSquare.degreeTree39_94All line 302
  96. lemma OAI.UniversalTensorSquare.degreeTree39_95All line 305
  97. lemma OAI.UniversalTensorSquare.degreeTree39_96All line 308
  98. lemma OAI.UniversalTensorSquare.degreeTree39_97All line 311
  99. lemma OAI.UniversalTensorSquare.degreeTree39_98All line 314
  100. lemma OAI.UniversalTensorSquare.degreeTree39_99All line 317
  101. lemma OAI.UniversalTensorSquare.degreeTree39_100All line 320
  102. lemma OAI.UniversalTensorSquare.degreeTree39_101All line 323
  103. lemma OAI.UniversalTensorSquare.degreeTree39_102All line 326
  104. lemma OAI.UniversalTensorSquare.degreeTree39_103All line 329
  105. lemma OAI.UniversalTensorSquare.degreeTree39_104All line 332
  106. lemma OAI.UniversalTensorSquare.degreeTree39_105All line 335
  107. lemma OAI.UniversalTensorSquare.degreeTree39_106All line 338
  108. lemma OAI.UniversalTensorSquare.degreeTree39_107All line 341
  109. lemma OAI.UniversalTensorSquare.degreeTree39_108All line 344
  110. lemma OAI.UniversalTensorSquare.degreeTree39_109All line 347
  111. lemma OAI.UniversalTensorSquare.degreeTree39_110All line 350
  112. lemma OAI.UniversalTensorSquare.degreeTree39_111All line 353
  113. lemma OAI.UniversalTensorSquare.degreeTree39_112All line 356
  114. lemma OAI.UniversalTensorSquare.degreeTree39_113All line 359
  115. lemma OAI.UniversalTensorSquare.degreeTree39_114All line 362
  116. lemma OAI.UniversalTensorSquare.degreeTree39_115All line 365
  117. lemma OAI.UniversalTensorSquare.degreeTree39_116All line 368
  118. lemma OAI.UniversalTensorSquare.degreeTree39_117All line 371
  119. lemma OAI.UniversalTensorSquare.degreeTree39_118All line 374
  120. lemma OAI.UniversalTensorSquare.degreeTree39_119All line 377
  121. lemma OAI.UniversalTensorSquare.degreeTree39_120All line 380
  122. lemma OAI.UniversalTensorSquare.degreeTree39_121All line 383
  123. lemma OAI.UniversalTensorSquare.degreeTree39_122All line 386
  124. lemma OAI.UniversalTensorSquare.degreeTree39_123All line 389
  125. lemma OAI.UniversalTensorSquare.degreeTree39_124All line 392
  126. lemma OAI.UniversalTensorSquare.degreeTree39_125All line 395
  127. lemma OAI.UniversalTensorSquare.degreeTree39_126All line 398
  128. lemma OAI.UniversalTensorSquare.degreeTreeAll39 line 401