OAI/RepresentationTheory/UniversalSquare/Finite/NumericalDegree30.lean

GitHub source file

34 declarations, 0 contain sorry, 0 declared as axioms

Numerical Degree 30.

  1. lemma OAI.UniversalTensorSquare.degreeCard30 line 15
  2. def OAI.UniversalTensorSquare.degreePlan30_0 line 18
  3. def OAI.UniversalTensorSquare.degreeRows30_0 line 19
  4. lemma OAI.UniversalTensorSquare.degreeCone30_0 line 21
  5. def OAI.UniversalTensorSquare.degreeQs30 line 26
  6. lemma OAI.UniversalTensorSquare.degreeCones30 line 28
  7. abbrev OAI.UniversalTensorSquare.degreeP30 line 33
  8. lemma OAI.UniversalTensorSquare.degreeCheck30_0_0 line 35
  9. lemma OAI.UniversalTensorSquare.degreeCheck30_0_1 line 40
  10. lemma OAI.UniversalTensorSquare.degreeCheck30_0_2 line 45
  11. lemma OAI.UniversalTensorSquare.degreeCheck30_0_3 line 50
  12. lemma OAI.UniversalTensorSquare.degreeCheck30_0_4 line 55
  13. lemma OAI.UniversalTensorSquare.degreeCheck30_1_0 line 60
  14. lemma OAI.UniversalTensorSquare.degreeCheck30_1_1 line 65
  15. lemma OAI.UniversalTensorSquare.degreeCheck30_1_2 line 70
  16. lemma OAI.UniversalTensorSquare.degreeCheck30_1_3 line 75
  17. lemma OAI.UniversalTensorSquare.degreeCheck30_1_4 line 80
  18. lemma OAI.UniversalTensorSquare.degreeCheck30_2_0 line 85
  19. lemma OAI.UniversalTensorSquare.degreeCheck30_2_1 line 90
  20. lemma OAI.UniversalTensorSquare.degreeCheck30_2_2 line 95
  21. lemma OAI.UniversalTensorSquare.degreeCheck30_2_3 line 100
  22. lemma OAI.UniversalTensorSquare.degreeCheck30_2_4 line 105
  23. lemma OAI.UniversalTensorSquare.degreeCheck30_3_0 line 110
  24. lemma OAI.UniversalTensorSquare.degreeCheck30_3_1 line 115
  25. lemma OAI.UniversalTensorSquare.degreeCheck30_3_2 line 120
  26. lemma OAI.UniversalTensorSquare.degreeCheck30_3_3 line 125
  27. lemma OAI.UniversalTensorSquare.degreeCheck30_3_4 line 130
  28. lemma OAI.UniversalTensorSquare.degreeCheck30_4_0 line 135
  29. lemma OAI.UniversalTensorSquare.degreeCheck30_4_1 line 140
  30. lemma OAI.UniversalTensorSquare.degreeCheck30_4_2 line 145
  31. lemma OAI.UniversalTensorSquare.degreeCheck30_4_3 line 150
  32. lemma OAI.UniversalTensorSquare.degreeCheck30_4_4 line 155
  33. lemma OAI.UniversalTensorSquare.degreeCheck30 line 160
  34. lemma OAI.UniversalTensorSquare.degree_pos30 line 193