OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeProof20.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Proof 20.

  1. lemma OAI.UniversalTensorSquare.degreeTree20_0All line 16
  2. lemma OAI.UniversalTensorSquare.degreeTree20_1All line 19
  3. lemma OAI.UniversalTensorSquare.degreeTree20_2All line 22
  4. lemma OAI.UniversalTensorSquare.degreeTree20_3All line 25
  5. lemma OAI.UniversalTensorSquare.degreeTree20_4All line 28
  6. lemma OAI.UniversalTensorSquare.degreeTree20_5All line 31
  7. lemma OAI.UniversalTensorSquare.degreeTree20_6All line 34
  8. lemma OAI.UniversalTensorSquare.degreeTree20_7All line 37
  9. lemma OAI.UniversalTensorSquare.degreeTree20_8All line 40
  10. lemma OAI.UniversalTensorSquare.degreeTree20_9All line 43
  11. lemma OAI.UniversalTensorSquare.degreeTree20_10All line 46
  12. lemma OAI.UniversalTensorSquare.degreeTree20_11All line 49
  13. lemma OAI.UniversalTensorSquare.degreeTree20_12All line 52
  14. lemma OAI.UniversalTensorSquare.degreeTree20_13All line 55
  15. lemma OAI.UniversalTensorSquare.degreeTree20_14All line 58
  16. lemma OAI.UniversalTensorSquare.degreeTreeAll20 line 61