OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeProof41.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Proof 41.

  1. lemma OAI.UniversalTensorSquare.degreeTree41_0All line 16
  2. lemma OAI.UniversalTensorSquare.degreeTree41_1All line 19
  3. lemma OAI.UniversalTensorSquare.degreeTree41_2All line 22
  4. lemma OAI.UniversalTensorSquare.degreeTree41_3All line 25
  5. lemma OAI.UniversalTensorSquare.degreeTree41_4All line 28
  6. lemma OAI.UniversalTensorSquare.degreeTree41_5All line 31
  7. lemma OAI.UniversalTensorSquare.degreeTree41_6All line 34
  8. lemma OAI.UniversalTensorSquare.degreeTree41_7All line 37
  9. lemma OAI.UniversalTensorSquare.degreeTree41_8All line 40
  10. lemma OAI.UniversalTensorSquare.degreeTree41_9All line 43
  11. lemma OAI.UniversalTensorSquare.degreeTree41_10All line 46
  12. lemma OAI.UniversalTensorSquare.degreeTree41_11All line 49
  13. lemma OAI.UniversalTensorSquare.degreeTree41_12All line 52
  14. lemma OAI.UniversalTensorSquare.degreeTree41_13All line 55
  15. lemma OAI.UniversalTensorSquare.degreeTree41_14All line 58
  16. lemma OAI.UniversalTensorSquare.degreeTreeAll41 line 61