OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeProof26.lean

GitHub source file

64 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Proof 26.

  1. lemma OAI.UniversalTensorSquare.degreeTree26_0All line 17
  2. lemma OAI.UniversalTensorSquare.degreeTree26_1All line 20
  3. lemma OAI.UniversalTensorSquare.degreeTree26_2All line 23
  4. lemma OAI.UniversalTensorSquare.degreeTree26_3All line 26
  5. lemma OAI.UniversalTensorSquare.degreeTree26_4All line 29
  6. lemma OAI.UniversalTensorSquare.degreeTree26_5All line 32
  7. lemma OAI.UniversalTensorSquare.degreeTree26_6All line 35
  8. lemma OAI.UniversalTensorSquare.degreeTree26_7All line 38
  9. lemma OAI.UniversalTensorSquare.degreeTree26_8All line 41
  10. lemma OAI.UniversalTensorSquare.degreeTree26_9All line 44
  11. lemma OAI.UniversalTensorSquare.degreeTree26_10All line 47
  12. lemma OAI.UniversalTensorSquare.degreeTree26_11All line 50
  13. lemma OAI.UniversalTensorSquare.degreeTree26_12All line 53
  14. lemma OAI.UniversalTensorSquare.degreeTree26_13All line 56
  15. lemma OAI.UniversalTensorSquare.degreeTree26_14All line 59
  16. lemma OAI.UniversalTensorSquare.degreeTree26_15All line 62
  17. lemma OAI.UniversalTensorSquare.degreeTree26_16All line 65
  18. lemma OAI.UniversalTensorSquare.degreeTree26_17All line 68
  19. lemma OAI.UniversalTensorSquare.degreeTree26_18All line 71
  20. lemma OAI.UniversalTensorSquare.degreeTree26_19All line 74
  21. lemma OAI.UniversalTensorSquare.degreeTree26_20All line 77
  22. lemma OAI.UniversalTensorSquare.degreeTree26_21All line 80
  23. lemma OAI.UniversalTensorSquare.degreeTree26_22All line 83
  24. lemma OAI.UniversalTensorSquare.degreeTree26_23All line 86
  25. lemma OAI.UniversalTensorSquare.degreeTree26_24All line 89
  26. lemma OAI.UniversalTensorSquare.degreeTree26_25All line 92
  27. lemma OAI.UniversalTensorSquare.degreeTree26_26All line 95
  28. lemma OAI.UniversalTensorSquare.degreeTree26_27All line 98
  29. lemma OAI.UniversalTensorSquare.degreeTree26_28All line 101
  30. lemma OAI.UniversalTensorSquare.degreeTree26_29All line 104
  31. lemma OAI.UniversalTensorSquare.degreeTree26_30All line 107
  32. lemma OAI.UniversalTensorSquare.degreeTree26_31All line 110
  33. lemma OAI.UniversalTensorSquare.degreeTree26_32All line 113
  34. lemma OAI.UniversalTensorSquare.degreeTree26_33All line 116
  35. lemma OAI.UniversalTensorSquare.degreeTree26_34All line 119
  36. lemma OAI.UniversalTensorSquare.degreeTree26_35All line 122
  37. lemma OAI.UniversalTensorSquare.degreeTree26_36All line 125
  38. lemma OAI.UniversalTensorSquare.degreeTree26_37All line 128
  39. lemma OAI.UniversalTensorSquare.degreeTree26_38All line 131
  40. lemma OAI.UniversalTensorSquare.degreeTree26_39All line 134
  41. lemma OAI.UniversalTensorSquare.degreeTree26_40All line 137
  42. lemma OAI.UniversalTensorSquare.degreeTree26_41All line 140
  43. lemma OAI.UniversalTensorSquare.degreeTree26_42All line 143
  44. lemma OAI.UniversalTensorSquare.degreeTree26_43All line 146
  45. lemma OAI.UniversalTensorSquare.degreeTree26_44All line 149
  46. lemma OAI.UniversalTensorSquare.degreeTree26_45All line 152
  47. lemma OAI.UniversalTensorSquare.degreeTree26_46All line 155
  48. lemma OAI.UniversalTensorSquare.degreeTree26_47All line 158
  49. lemma OAI.UniversalTensorSquare.degreeTree26_48All line 161
  50. lemma OAI.UniversalTensorSquare.degreeTree26_49All line 164
  51. lemma OAI.UniversalTensorSquare.degreeTree26_50All line 167
  52. lemma OAI.UniversalTensorSquare.degreeTree26_51All line 170
  53. lemma OAI.UniversalTensorSquare.degreeTree26_52All line 173
  54. lemma OAI.UniversalTensorSquare.degreeTree26_53All line 176
  55. lemma OAI.UniversalTensorSquare.degreeTree26_54All line 179
  56. lemma OAI.UniversalTensorSquare.degreeTree26_55All line 182
  57. lemma OAI.UniversalTensorSquare.degreeTree26_56All line 185
  58. lemma OAI.UniversalTensorSquare.degreeTree26_57All line 188
  59. lemma OAI.UniversalTensorSquare.degreeTree26_58All line 191
  60. lemma OAI.UniversalTensorSquare.degreeTree26_59All line 194
  61. lemma OAI.UniversalTensorSquare.degreeTree26_60All line 197
  62. lemma OAI.UniversalTensorSquare.degreeTree26_61All line 200
  63. lemma OAI.UniversalTensorSquare.degreeTree26_62All line 203
  64. lemma OAI.UniversalTensorSquare.degreeTreeAll26 line 206