OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeData24.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Data 24.

  1. def OAI.UniversalTensorSquare.degreeTree24_0 line 15
  2. def OAI.UniversalTensorSquare.degreeTree24_1 line 17
  3. def OAI.UniversalTensorSquare.degreeTree24_2 line 19
  4. def OAI.UniversalTensorSquare.degreeTree24_3 line 21
  5. def OAI.UniversalTensorSquare.degreeTree24_4 line 23
  6. def OAI.UniversalTensorSquare.degreeTree24_5 line 25
  7. def OAI.UniversalTensorSquare.degreeTree24_6 line 27
  8. def OAI.UniversalTensorSquare.degreeTree24_7 line 29
  9. def OAI.UniversalTensorSquare.degreeTree24_8 line 31
  10. def OAI.UniversalTensorSquare.degreeTree24_9 line 33
  11. def OAI.UniversalTensorSquare.degreeTree24_10 line 35
  12. def OAI.UniversalTensorSquare.degreeTree24_11 line 37
  13. def OAI.UniversalTensorSquare.degreeTree24_12 line 39
  14. def OAI.UniversalTensorSquare.degreeTree24_13 line 41
  15. def OAI.UniversalTensorSquare.degreeTree24_14 line 43
  16. def OAI.UniversalTensorSquare.degreeTree24_15 line 45
  17. def OAI.UniversalTensorSquare.degreeTree24_16 line 47
  18. def OAI.UniversalTensorSquare.degreeTree24_17 line 49
  19. def OAI.UniversalTensorSquare.degreeTree24_18 line 51
  20. def OAI.UniversalTensorSquare.degreeTree24_19 line 53
  21. def OAI.UniversalTensorSquare.degreeTree24_20 line 55
  22. def OAI.UniversalTensorSquare.degreeTree24_21 line 57
  23. def OAI.UniversalTensorSquare.degreeTree24_22 line 59
  24. def OAI.UniversalTensorSquare.degreeTree24_23 line 61
  25. def OAI.UniversalTensorSquare.degreeTree24_24 line 63
  26. def OAI.UniversalTensorSquare.degreeTree24_25 line 65
  27. def OAI.UniversalTensorSquare.degreeTree24_26 line 67
  28. def OAI.UniversalTensorSquare.degreeTree24_27 line 69
  29. def OAI.UniversalTensorSquare.degreeTree24_28 line 71
  30. def OAI.UniversalTensorSquare.degreeTree24_29 line 73
  31. def OAI.UniversalTensorSquare.degreeTree24_30 line 75
  32. def OAI.UniversalTensorSquare.degreeTree24 line 77