OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeProof35.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Proof 35.

  1. lemma OAI.UniversalTensorSquare.degreeTree35_0All line 16
  2. lemma OAI.UniversalTensorSquare.degreeTree35_1All line 19
  3. lemma OAI.UniversalTensorSquare.degreeTree35_2All line 22
  4. lemma OAI.UniversalTensorSquare.degreeTree35_3All line 25
  5. lemma OAI.UniversalTensorSquare.degreeTree35_4All line 28
  6. lemma OAI.UniversalTensorSquare.degreeTree35_5All line 31
  7. lemma OAI.UniversalTensorSquare.degreeTree35_6All line 34
  8. lemma OAI.UniversalTensorSquare.degreeTree35_7All line 37
  9. lemma OAI.UniversalTensorSquare.degreeTree35_8All line 40
  10. lemma OAI.UniversalTensorSquare.degreeTree35_9All line 43
  11. lemma OAI.UniversalTensorSquare.degreeTree35_10All line 46
  12. lemma OAI.UniversalTensorSquare.degreeTree35_11All line 49
  13. lemma OAI.UniversalTensorSquare.degreeTree35_12All line 52
  14. lemma OAI.UniversalTensorSquare.degreeTree35_13All line 55
  15. lemma OAI.UniversalTensorSquare.degreeTree35_14All line 58
  16. lemma OAI.UniversalTensorSquare.degreeTree35_15All line 61
  17. lemma OAI.UniversalTensorSquare.degreeTree35_16All line 64
  18. lemma OAI.UniversalTensorSquare.degreeTree35_17All line 67
  19. lemma OAI.UniversalTensorSquare.degreeTree35_18All line 70
  20. lemma OAI.UniversalTensorSquare.degreeTree35_19All line 73
  21. lemma OAI.UniversalTensorSquare.degreeTree35_20All line 76
  22. lemma OAI.UniversalTensorSquare.degreeTree35_21All line 79
  23. lemma OAI.UniversalTensorSquare.degreeTree35_22All line 82
  24. lemma OAI.UniversalTensorSquare.degreeTree35_23All line 85
  25. lemma OAI.UniversalTensorSquare.degreeTree35_24All line 88
  26. lemma OAI.UniversalTensorSquare.degreeTreeAll35 line 91