OAI/RepresentationTheory/UniversalSquare/Finite/DegreeCover16.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

Degree Cover 16.

  1. lemma OAI.UniversalTensorSquare.degreeCover16_0_0 line 16
  2. lemma OAI.UniversalTensorSquare.degreeCover16_0_1 line 21
  3. lemma OAI.UniversalTensorSquare.degreeCover16_0_2 line 26
  4. lemma OAI.UniversalTensorSquare.degreeCover16_0_3 line 31
  5. lemma OAI.UniversalTensorSquare.degreeCover16_0_4 line 36
  6. lemma OAI.UniversalTensorSquare.degreeCover16_1_0 line 41
  7. lemma OAI.UniversalTensorSquare.degreeCover16_1_1 line 46
  8. lemma OAI.UniversalTensorSquare.degreeCover16_1_2 line 51
  9. lemma OAI.UniversalTensorSquare.degreeCover16_1_3 line 56
  10. lemma OAI.UniversalTensorSquare.degreeCover16_1_4 line 61
  11. lemma OAI.UniversalTensorSquare.degreeCover16_2_0 line 66
  12. lemma OAI.UniversalTensorSquare.degreeCover16_2_1 line 71
  13. lemma OAI.UniversalTensorSquare.degreeCover16_2_2 line 76
  14. lemma OAI.UniversalTensorSquare.degreeCover16_2_3 line 81
  15. lemma OAI.UniversalTensorSquare.degreeCover16_2_4 line 86
  16. lemma OAI.UniversalTensorSquare.degreeCover16_3_0 line 91
  17. lemma OAI.UniversalTensorSquare.degreeCover16_3_1 line 96
  18. lemma OAI.UniversalTensorSquare.degreeCover16_3_2 line 101
  19. lemma OAI.UniversalTensorSquare.degreeCover16_3_3 line 106
  20. lemma OAI.UniversalTensorSquare.degreeCover16_3_4 line 111
  21. lemma OAI.UniversalTensorSquare.degreeCover16_4_0 line 116
  22. lemma OAI.UniversalTensorSquare.degreeCover16_4_1 line 121
  23. lemma OAI.UniversalTensorSquare.degreeCover16_4_2 line 126
  24. lemma OAI.UniversalTensorSquare.degreeCover16_4_3 line 131
  25. lemma OAI.UniversalTensorSquare.degreeCover16_4_4 line 136
  26. lemma OAI.UniversalTensorSquare.degreeCover16 line 141