OAI/RepresentationTheory/UniversalSquare/Finite/DegreeLeaves24.lean

GitHub source file

82 declarations, 0 contain sorry, 0 declared as axioms

Degree Leaves 24.

  1. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_0 line 14
  2. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_1 line 17
  3. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_2 line 20
  4. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_3 line 23
  5. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_4 line 26
  6. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_5 line 29
  7. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_7 line 32
  8. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_8 line 35
  9. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_9 line 38
  10. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_10 line 41
  11. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_11 line 44
  12. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_12 line 47
  13. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_13 line 57
  14. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_14 line 60
  15. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_15 line 63
  16. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_16 line 66
  17. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_17 line 69
  18. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_18 line 72
  19. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_19 line 75
  20. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_20 line 78
  21. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_21 line 81
  22. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_22 line 84
  23. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_23 line 87
  24. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_24 line 90
  25. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_25 line 100
  26. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_26 line 103
  27. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_28 line 106
  28. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_29 line 109
  29. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_30 line 112
  30. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_31 line 115
  31. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_32 line 118
  32. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_33 line 121
  33. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_34 line 124
  34. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_35 line 127
  35. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_36 line 130
  36. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_37 line 133
  37. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_38 line 143
  38. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_39 line 146
  39. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_40 line 149
  40. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_41 line 152
  41. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_42 line 155
  42. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_43 line 158
  43. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_44 line 161
  44. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_45 line 164
  45. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_46 line 167
  46. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_47 line 170
  47. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_49 line 173
  48. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_50 line 176
  49. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_51 line 186
  50. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_52 line 189
  51. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_53 line 192
  52. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_54 line 195
  53. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_55 line 198
  54. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_56 line 201
  55. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_57 line 204
  56. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_58 line 207
  57. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_59 line 210
  58. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_60 line 213
  59. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_61 line 216
  60. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_62 line 219
  61. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_63 line 229
  62. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_64 line 232
  63. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_65 line 235
  64. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_66 line 238
  65. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_67 line 241
  66. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_68 line 244
  67. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_69 line 247
  68. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_70 line 250
  69. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_71 line 253
  70. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_72 line 256
  71. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_73 line 259
  72. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_74 line 262
  73. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_75 line 272
  74. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_76 line 275
  75. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_77 line 278
  76. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_78 line 281
  77. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_79 line 284
  78. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_80 line 287
  79. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_81 line 290
  80. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_82 line 293
  81. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_83 line 296
  82. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_84 line 299