OAI/RepresentationTheory/UniversalSquare/Finite/NumericalDegree12.lean

GitHub source file

37 declarations, 0 contain sorry, 0 declared as axioms

Numerical Degree 12.

  1. lemma OAI.UniversalTensorSquare.degreeCard12 line 15
  2. def OAI.UniversalTensorSquare.degreePlan12_0 line 18
  3. def OAI.UniversalTensorSquare.degreeRows12_0 line 19
  4. lemma OAI.UniversalTensorSquare.degreeCone12_0 line 21
  5. def OAI.UniversalTensorSquare.degreePlan12_1 line 26
  6. def OAI.UniversalTensorSquare.degreeRows12_1 line 27
  7. lemma OAI.UniversalTensorSquare.degreeCone12_1 line 29
  8. def OAI.UniversalTensorSquare.degreeQs12 line 34
  9. lemma OAI.UniversalTensorSquare.degreeCones12 line 36
  10. abbrev OAI.UniversalTensorSquare.degreeP12 line 43
  11. lemma OAI.UniversalTensorSquare.degreeCheck12_0_0 line 45
  12. lemma OAI.UniversalTensorSquare.degreeCheck12_0_1 line 50
  13. lemma OAI.UniversalTensorSquare.degreeCheck12_0_2 line 55
  14. lemma OAI.UniversalTensorSquare.degreeCheck12_0_3 line 60
  15. lemma OAI.UniversalTensorSquare.degreeCheck12_0_4 line 65
  16. lemma OAI.UniversalTensorSquare.degreeCheck12_1_0 line 70
  17. lemma OAI.UniversalTensorSquare.degreeCheck12_1_1 line 75
  18. lemma OAI.UniversalTensorSquare.degreeCheck12_1_2 line 80
  19. lemma OAI.UniversalTensorSquare.degreeCheck12_1_3 line 85
  20. lemma OAI.UniversalTensorSquare.degreeCheck12_1_4 line 90
  21. lemma OAI.UniversalTensorSquare.degreeCheck12_2_0 line 95
  22. lemma OAI.UniversalTensorSquare.degreeCheck12_2_1 line 100
  23. lemma OAI.UniversalTensorSquare.degreeCheck12_2_2 line 105
  24. lemma OAI.UniversalTensorSquare.degreeCheck12_2_3 line 110
  25. lemma OAI.UniversalTensorSquare.degreeCheck12_2_4 line 115
  26. lemma OAI.UniversalTensorSquare.degreeCheck12_3_0 line 120
  27. lemma OAI.UniversalTensorSquare.degreeCheck12_3_1 line 125
  28. lemma OAI.UniversalTensorSquare.degreeCheck12_3_2 line 130
  29. lemma OAI.UniversalTensorSquare.degreeCheck12_3_3 line 135
  30. lemma OAI.UniversalTensorSquare.degreeCheck12_3_4 line 140
  31. lemma OAI.UniversalTensorSquare.degreeCheck12_4_0 line 145
  32. lemma OAI.UniversalTensorSquare.degreeCheck12_4_1 line 150
  33. lemma OAI.UniversalTensorSquare.degreeCheck12_4_2 line 155
  34. lemma OAI.UniversalTensorSquare.degreeCheck12_4_3 line 160
  35. lemma OAI.UniversalTensorSquare.degreeCheck12_4_4 line 165
  36. lemma OAI.UniversalTensorSquare.degreeCheck12 line 170
  37. lemma OAI.UniversalTensorSquare.degree_pos12 line 203