OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeData35.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Data 35.

  1. def OAI.UniversalTensorSquare.degreeTree35_0 line 15
  2. def OAI.UniversalTensorSquare.degreeTree35_1 line 17
  3. def OAI.UniversalTensorSquare.degreeTree35_2 line 19
  4. def OAI.UniversalTensorSquare.degreeTree35_3 line 21
  5. def OAI.UniversalTensorSquare.degreeTree35_4 line 23
  6. def OAI.UniversalTensorSquare.degreeTree35_5 line 25
  7. def OAI.UniversalTensorSquare.degreeTree35_6 line 27
  8. def OAI.UniversalTensorSquare.degreeTree35_7 line 29
  9. def OAI.UniversalTensorSquare.degreeTree35_8 line 31
  10. def OAI.UniversalTensorSquare.degreeTree35_9 line 33
  11. def OAI.UniversalTensorSquare.degreeTree35_10 line 35
  12. def OAI.UniversalTensorSquare.degreeTree35_11 line 37
  13. def OAI.UniversalTensorSquare.degreeTree35_12 line 39
  14. def OAI.UniversalTensorSquare.degreeTree35_13 line 41
  15. def OAI.UniversalTensorSquare.degreeTree35_14 line 43
  16. def OAI.UniversalTensorSquare.degreeTree35_15 line 45
  17. def OAI.UniversalTensorSquare.degreeTree35_16 line 47
  18. def OAI.UniversalTensorSquare.degreeTree35_17 line 49
  19. def OAI.UniversalTensorSquare.degreeTree35_18 line 51
  20. def OAI.UniversalTensorSquare.degreeTree35_19 line 53
  21. def OAI.UniversalTensorSquare.degreeTree35_20 line 55
  22. def OAI.UniversalTensorSquare.degreeTree35_21 line 57
  23. def OAI.UniversalTensorSquare.degreeTree35_22 line 59
  24. def OAI.UniversalTensorSquare.degreeTree35_23 line 61
  25. def OAI.UniversalTensorSquare.degreeTree35_24 line 63
  26. def OAI.UniversalTensorSquare.degreeTree35 line 65