OAI/RepresentationTheory/UniversalSquare/Finite/DegreeCover64.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

Degree Cover 64.

  1. lemma OAI.UniversalTensorSquare.degreeCover64_0_0 line 16
  2. lemma OAI.UniversalTensorSquare.degreeCover64_0_1 line 21
  3. lemma OAI.UniversalTensorSquare.degreeCover64_0_2 line 26
  4. lemma OAI.UniversalTensorSquare.degreeCover64_0_3 line 31
  5. lemma OAI.UniversalTensorSquare.degreeCover64_0_4 line 36
  6. lemma OAI.UniversalTensorSquare.degreeCover64_1_0 line 41
  7. lemma OAI.UniversalTensorSquare.degreeCover64_1_1 line 46
  8. lemma OAI.UniversalTensorSquare.degreeCover64_1_2 line 51
  9. lemma OAI.UniversalTensorSquare.degreeCover64_1_3 line 56
  10. lemma OAI.UniversalTensorSquare.degreeCover64_1_4 line 61
  11. lemma OAI.UniversalTensorSquare.degreeCover64_2_0 line 66
  12. lemma OAI.UniversalTensorSquare.degreeCover64_2_1 line 71
  13. lemma OAI.UniversalTensorSquare.degreeCover64_2_2 line 76
  14. lemma OAI.UniversalTensorSquare.degreeCover64_2_3 line 81
  15. lemma OAI.UniversalTensorSquare.degreeCover64_2_4 line 86
  16. lemma OAI.UniversalTensorSquare.degreeCover64_3_0 line 91
  17. lemma OAI.UniversalTensorSquare.degreeCover64_3_1 line 96
  18. lemma OAI.UniversalTensorSquare.degreeCover64_3_2 line 101
  19. lemma OAI.UniversalTensorSquare.degreeCover64_3_3 line 106
  20. lemma OAI.UniversalTensorSquare.degreeCover64_3_4 line 111
  21. lemma OAI.UniversalTensorSquare.degreeCover64_4_0 line 116
  22. lemma OAI.UniversalTensorSquare.degreeCover64_4_1 line 121
  23. lemma OAI.UniversalTensorSquare.degreeCover64_4_2 line 126
  24. lemma OAI.UniversalTensorSquare.degreeCover64_4_3 line 131
  25. lemma OAI.UniversalTensorSquare.degreeCover64_4_4 line 136
  26. lemma OAI.UniversalTensorSquare.degreeCover64 line 141