OAI/RepresentationTheory/UniversalSquare/Finite/DegreeLeaves26.lean

GitHub source file

90 declarations, 0 contain sorry, 0 declared as axioms

Degree Leaves 26.

  1. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_0 line 14
  2. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_1 line 17
  3. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_2 line 20
  4. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_3 line 23
  5. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_4 line 26
  6. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_5 line 29
  7. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_6 line 32
  8. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_8 line 35
  9. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_9 line 38
  10. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_10 line 41
  11. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_11 line 44
  12. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_12 line 47
  13. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_13 line 57
  14. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_14 line 60
  15. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_15 line 63
  16. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_16 line 66
  17. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_17 line 69
  18. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_18 line 72
  19. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_19 line 75
  20. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_20 line 78
  21. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_21 line 81
  22. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_22 line 84
  23. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_23 line 87
  24. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_24 line 90
  25. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_25 line 100
  26. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_26 line 103
  27. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_27 line 106
  28. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_28 line 109
  29. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_29 line 112
  30. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_31 line 115
  31. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_32 line 118
  32. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_33 line 121
  33. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_34 line 124
  34. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_35 line 127
  35. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_36 line 130
  36. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_37 line 133
  37. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_38 line 143
  38. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_39 line 146
  39. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_40 line 149
  40. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_41 line 152
  41. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_42 line 155
  42. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_43 line 158
  43. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_44 line 161
  44. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_45 line 164
  45. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_46 line 167
  46. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_47 line 170
  47. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_48 line 173
  48. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_49 line 176
  49. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_50 line 186
  50. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_51 line 189
  51. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_52 line 192
  52. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_54 line 195
  53. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_55 line 198
  54. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_56 line 201
  55. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_57 line 204
  56. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_58 line 207
  57. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_59 line 210
  58. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_60 line 213
  59. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_61 line 216
  60. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_62 line 219
  61. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_63 line 229
  62. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_64 line 232
  63. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_65 line 235
  64. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_66 line 238
  65. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_67 line 241
  66. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_68 line 244
  67. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_69 line 247
  68. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_70 line 250
  69. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_71 line 253
  70. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_72 line 256
  71. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_73 line 259
  72. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_74 line 262
  73. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_75 line 272
  74. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_76 line 275
  75. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_77 line 278
  76. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_78 line 281
  77. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_79 line 284
  78. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_80 line 287
  79. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_81 line 290
  80. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_82 line 293
  81. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_83 line 296
  82. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_84 line 299
  83. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_85 line 302
  84. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_86 line 305
  85. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_87 line 315
  86. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_88 line 318
  87. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_89 line 321
  88. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_90 line 324
  89. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_91 line 327
  90. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_92 line 330