OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeData39.lean

GitHub source file

128 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Data 39.

  1. def OAI.UniversalTensorSquare.degreeTree39_0 line 15
  2. def OAI.UniversalTensorSquare.degreeTree39_1 line 17
  3. def OAI.UniversalTensorSquare.degreeTree39_2 line 19
  4. def OAI.UniversalTensorSquare.degreeTree39_3 line 21
  5. def OAI.UniversalTensorSquare.degreeTree39_4 line 23
  6. def OAI.UniversalTensorSquare.degreeTree39_5 line 25
  7. def OAI.UniversalTensorSquare.degreeTree39_6 line 27
  8. def OAI.UniversalTensorSquare.degreeTree39_7 line 29
  9. def OAI.UniversalTensorSquare.degreeTree39_8 line 31
  10. def OAI.UniversalTensorSquare.degreeTree39_9 line 33
  11. def OAI.UniversalTensorSquare.degreeTree39_10 line 35
  12. def OAI.UniversalTensorSquare.degreeTree39_11 line 37
  13. def OAI.UniversalTensorSquare.degreeTree39_12 line 39
  14. def OAI.UniversalTensorSquare.degreeTree39_13 line 41
  15. def OAI.UniversalTensorSquare.degreeTree39_14 line 43
  16. def OAI.UniversalTensorSquare.degreeTree39_15 line 45
  17. def OAI.UniversalTensorSquare.degreeTree39_16 line 47
  18. def OAI.UniversalTensorSquare.degreeTree39_17 line 49
  19. def OAI.UniversalTensorSquare.degreeTree39_18 line 51
  20. def OAI.UniversalTensorSquare.degreeTree39_19 line 53
  21. def OAI.UniversalTensorSquare.degreeTree39_20 line 55
  22. def OAI.UniversalTensorSquare.degreeTree39_21 line 57
  23. def OAI.UniversalTensorSquare.degreeTree39_22 line 59
  24. def OAI.UniversalTensorSquare.degreeTree39_23 line 61
  25. def OAI.UniversalTensorSquare.degreeTree39_24 line 63
  26. def OAI.UniversalTensorSquare.degreeTree39_25 line 65
  27. def OAI.UniversalTensorSquare.degreeTree39_26 line 67
  28. def OAI.UniversalTensorSquare.degreeTree39_27 line 69
  29. def OAI.UniversalTensorSquare.degreeTree39_28 line 71
  30. def OAI.UniversalTensorSquare.degreeTree39_29 line 73
  31. def OAI.UniversalTensorSquare.degreeTree39_30 line 75
  32. def OAI.UniversalTensorSquare.degreeTree39_31 line 77
  33. def OAI.UniversalTensorSquare.degreeTree39_32 line 79
  34. def OAI.UniversalTensorSquare.degreeTree39_33 line 81
  35. def OAI.UniversalTensorSquare.degreeTree39_34 line 83
  36. def OAI.UniversalTensorSquare.degreeTree39_35 line 85
  37. def OAI.UniversalTensorSquare.degreeTree39_36 line 87
  38. def OAI.UniversalTensorSquare.degreeTree39_37 line 89
  39. def OAI.UniversalTensorSquare.degreeTree39_38 line 91
  40. def OAI.UniversalTensorSquare.degreeTree39_39 line 93
  41. def OAI.UniversalTensorSquare.degreeTree39_40 line 95
  42. def OAI.UniversalTensorSquare.degreeTree39_41 line 97
  43. def OAI.UniversalTensorSquare.degreeTree39_42 line 99
  44. def OAI.UniversalTensorSquare.degreeTree39_43 line 101
  45. def OAI.UniversalTensorSquare.degreeTree39_44 line 103
  46. def OAI.UniversalTensorSquare.degreeTree39_45 line 105
  47. def OAI.UniversalTensorSquare.degreeTree39_46 line 107
  48. def OAI.UniversalTensorSquare.degreeTree39_47 line 109
  49. def OAI.UniversalTensorSquare.degreeTree39_48 line 111
  50. def OAI.UniversalTensorSquare.degreeTree39_49 line 113
  51. def OAI.UniversalTensorSquare.degreeTree39_50 line 115
  52. def OAI.UniversalTensorSquare.degreeTree39_51 line 117
  53. def OAI.UniversalTensorSquare.degreeTree39_52 line 119
  54. def OAI.UniversalTensorSquare.degreeTree39_53 line 121
  55. def OAI.UniversalTensorSquare.degreeTree39_54 line 123
  56. def OAI.UniversalTensorSquare.degreeTree39_55 line 125
  57. def OAI.UniversalTensorSquare.degreeTree39_56 line 127
  58. def OAI.UniversalTensorSquare.degreeTree39_57 line 129
  59. def OAI.UniversalTensorSquare.degreeTree39_58 line 131
  60. def OAI.UniversalTensorSquare.degreeTree39_59 line 133
  61. def OAI.UniversalTensorSquare.degreeTree39_60 line 135
  62. def OAI.UniversalTensorSquare.degreeTree39_61 line 137
  63. def OAI.UniversalTensorSquare.degreeTree39_62 line 139
  64. def OAI.UniversalTensorSquare.degreeTree39_63 line 141
  65. def OAI.UniversalTensorSquare.degreeTree39_64 line 143
  66. def OAI.UniversalTensorSquare.degreeTree39_65 line 145
  67. def OAI.UniversalTensorSquare.degreeTree39_66 line 147
  68. def OAI.UniversalTensorSquare.degreeTree39_67 line 149
  69. def OAI.UniversalTensorSquare.degreeTree39_68 line 151
  70. def OAI.UniversalTensorSquare.degreeTree39_69 line 153
  71. def OAI.UniversalTensorSquare.degreeTree39_70 line 155
  72. def OAI.UniversalTensorSquare.degreeTree39_71 line 157
  73. def OAI.UniversalTensorSquare.degreeTree39_72 line 159
  74. def OAI.UniversalTensorSquare.degreeTree39_73 line 161
  75. def OAI.UniversalTensorSquare.degreeTree39_74 line 163
  76. def OAI.UniversalTensorSquare.degreeTree39_75 line 165
  77. def OAI.UniversalTensorSquare.degreeTree39_76 line 167
  78. def OAI.UniversalTensorSquare.degreeTree39_77 line 169
  79. def OAI.UniversalTensorSquare.degreeTree39_78 line 171
  80. def OAI.UniversalTensorSquare.degreeTree39_79 line 173
  81. def OAI.UniversalTensorSquare.degreeTree39_80 line 175
  82. def OAI.UniversalTensorSquare.degreeTree39_81 line 177
  83. def OAI.UniversalTensorSquare.degreeTree39_82 line 179
  84. def OAI.UniversalTensorSquare.degreeTree39_83 line 181
  85. def OAI.UniversalTensorSquare.degreeTree39_84 line 183
  86. def OAI.UniversalTensorSquare.degreeTree39_85 line 185
  87. def OAI.UniversalTensorSquare.degreeTree39_86 line 187
  88. def OAI.UniversalTensorSquare.degreeTree39_87 line 189
  89. def OAI.UniversalTensorSquare.degreeTree39_88 line 191
  90. def OAI.UniversalTensorSquare.degreeTree39_89 line 193
  91. def OAI.UniversalTensorSquare.degreeTree39_90 line 195
  92. def OAI.UniversalTensorSquare.degreeTree39_91 line 197
  93. def OAI.UniversalTensorSquare.degreeTree39_92 line 199
  94. def OAI.UniversalTensorSquare.degreeTree39_93 line 201
  95. def OAI.UniversalTensorSquare.degreeTree39_94 line 203
  96. def OAI.UniversalTensorSquare.degreeTree39_95 line 205
  97. def OAI.UniversalTensorSquare.degreeTree39_96 line 207
  98. def OAI.UniversalTensorSquare.degreeTree39_97 line 209
  99. def OAI.UniversalTensorSquare.degreeTree39_98 line 211
  100. def OAI.UniversalTensorSquare.degreeTree39_99 line 213
  101. def OAI.UniversalTensorSquare.degreeTree39_100 line 215
  102. def OAI.UniversalTensorSquare.degreeTree39_101 line 217
  103. def OAI.UniversalTensorSquare.degreeTree39_102 line 219
  104. def OAI.UniversalTensorSquare.degreeTree39_103 line 221
  105. def OAI.UniversalTensorSquare.degreeTree39_104 line 223
  106. def OAI.UniversalTensorSquare.degreeTree39_105 line 225
  107. def OAI.UniversalTensorSquare.degreeTree39_106 line 227
  108. def OAI.UniversalTensorSquare.degreeTree39_107 line 229
  109. def OAI.UniversalTensorSquare.degreeTree39_108 line 231
  110. def OAI.UniversalTensorSquare.degreeTree39_109 line 233
  111. def OAI.UniversalTensorSquare.degreeTree39_110 line 235
  112. def OAI.UniversalTensorSquare.degreeTree39_111 line 237
  113. def OAI.UniversalTensorSquare.degreeTree39_112 line 239
  114. def OAI.UniversalTensorSquare.degreeTree39_113 line 241
  115. def OAI.UniversalTensorSquare.degreeTree39_114 line 243
  116. def OAI.UniversalTensorSquare.degreeTree39_115 line 245
  117. def OAI.UniversalTensorSquare.degreeTree39_116 line 247
  118. def OAI.UniversalTensorSquare.degreeTree39_117 line 249
  119. def OAI.UniversalTensorSquare.degreeTree39_118 line 251
  120. def OAI.UniversalTensorSquare.degreeTree39_119 line 253
  121. def OAI.UniversalTensorSquare.degreeTree39_120 line 255
  122. def OAI.UniversalTensorSquare.degreeTree39_121 line 257
  123. def OAI.UniversalTensorSquare.degreeTree39_122 line 259
  124. def OAI.UniversalTensorSquare.degreeTree39_123 line 261
  125. def OAI.UniversalTensorSquare.degreeTree39_124 line 263
  126. def OAI.UniversalTensorSquare.degreeTree39_125 line 265
  127. def OAI.UniversalTensorSquare.degreeTree39_126 line 267
  128. def OAI.UniversalTensorSquare.degreeTree39 line 269