OAI/RepresentationTheory/UniversalSquare/Finite/DegreeLeaves31.lean

GitHub source file

89 declarations, 0 contain sorry, 0 declared as axioms

Degree Leaves 31.

  1. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_0 line 14
  2. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_1 line 17
  3. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_2 line 20
  4. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_3 line 23
  5. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_4 line 26
  6. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_5 line 29
  7. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_6 line 32
  8. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_7 line 35
  9. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_9 line 38
  10. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_10 line 41
  11. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_11 line 44
  12. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_12 line 47
  13. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_13 line 57
  14. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_14 line 60
  15. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_15 line 63
  16. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_16 line 66
  17. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_17 line 69
  18. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_18 line 72
  19. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_19 line 75
  20. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_20 line 78
  21. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_21 line 81
  22. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_22 line 84
  23. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_23 line 87
  24. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_24 line 90
  25. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_25 line 100
  26. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_26 line 103
  27. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_27 line 106
  28. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_28 line 109
  29. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_29 line 112
  30. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_30 line 115
  31. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_31 line 118
  32. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_32 line 121
  33. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_33 line 124
  34. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_34 line 127
  35. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_35 line 130
  36. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_37 line 133
  37. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_38 line 143
  38. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_39 line 146
  39. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_40 line 149
  40. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_41 line 152
  41. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_42 line 155
  42. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_43 line 158
  43. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_44 line 161
  44. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_45 line 164
  45. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_46 line 167
  46. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_47 line 170
  47. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_48 line 173
  48. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_49 line 176
  49. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_50 line 186
  50. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_51 line 189
  51. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_52 line 192
  52. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_53 line 195
  53. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_54 line 198
  54. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_55 line 201
  55. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_56 line 204
  56. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_57 line 207
  57. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_58 line 210
  58. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_59 line 213
  59. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_60 line 216
  60. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_61 line 219
  61. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_62 line 229
  62. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_63 line 232
  63. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_65 line 235
  64. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_66 line 238
  65. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_67 line 241
  66. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_68 line 244
  67. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_69 line 247
  68. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_70 line 250
  69. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_71 line 253
  70. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_72 line 256
  71. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_73 line 259
  72. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_74 line 262
  73. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_75 line 272
  74. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_76 line 275
  75. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_77 line 278
  76. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_78 line 281
  77. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_79 line 284
  78. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_80 line 287
  79. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_81 line 290
  80. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_82 line 293
  81. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_83 line 296
  82. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_84 line 299
  83. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_85 line 302
  84. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_86 line 305
  85. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_87 line 315
  86. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_88 line 318
  87. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_89 line 321
  88. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_90 line 324
  89. lemma OAI.UniversalTensorSquare.degreeUnionBranch31_91 line 327