OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeProof24.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Proof 24.

  1. lemma OAI.UniversalTensorSquare.degreeTree24_0All line 17
  2. lemma OAI.UniversalTensorSquare.degreeTree24_1All line 20
  3. lemma OAI.UniversalTensorSquare.degreeTree24_2All line 23
  4. lemma OAI.UniversalTensorSquare.degreeTree24_3All line 26
  5. lemma OAI.UniversalTensorSquare.degreeTree24_4All line 29
  6. lemma OAI.UniversalTensorSquare.degreeTree24_5All line 32
  7. lemma OAI.UniversalTensorSquare.degreeTree24_6All line 35
  8. lemma OAI.UniversalTensorSquare.degreeTree24_7All line 38
  9. lemma OAI.UniversalTensorSquare.degreeTree24_8All line 41
  10. lemma OAI.UniversalTensorSquare.degreeTree24_9All line 44
  11. lemma OAI.UniversalTensorSquare.degreeTree24_10All line 47
  12. lemma OAI.UniversalTensorSquare.degreeTree24_11All line 50
  13. lemma OAI.UniversalTensorSquare.degreeTree24_12All line 53
  14. lemma OAI.UniversalTensorSquare.degreeTree24_13All line 56
  15. lemma OAI.UniversalTensorSquare.degreeTree24_14All line 59
  16. lemma OAI.UniversalTensorSquare.degreeTree24_15All line 62
  17. lemma OAI.UniversalTensorSquare.degreeTree24_16All line 65
  18. lemma OAI.UniversalTensorSquare.degreeTree24_17All line 68
  19. lemma OAI.UniversalTensorSquare.degreeTree24_18All line 71
  20. lemma OAI.UniversalTensorSquare.degreeTree24_19All line 74
  21. lemma OAI.UniversalTensorSquare.degreeTree24_20All line 77
  22. lemma OAI.UniversalTensorSquare.degreeTree24_21All line 80
  23. lemma OAI.UniversalTensorSquare.degreeTree24_22All line 83
  24. lemma OAI.UniversalTensorSquare.degreeTree24_23All line 86
  25. lemma OAI.UniversalTensorSquare.degreeTree24_24All line 89
  26. lemma OAI.UniversalTensorSquare.degreeTree24_25All line 92
  27. lemma OAI.UniversalTensorSquare.degreeTree24_26All line 95
  28. lemma OAI.UniversalTensorSquare.degreeTree24_27All line 98
  29. lemma OAI.UniversalTensorSquare.degreeTree24_28All line 101
  30. lemma OAI.UniversalTensorSquare.degreeTree24_29All line 104
  31. lemma OAI.UniversalTensorSquare.degreeTree24_30All line 107
  32. lemma OAI.UniversalTensorSquare.degreeTreeAll24 line 110