OAI/RepresentationTheory/UniversalSquare/Finite/DegreeTreeProof22.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Degree Tree Proof 22.

  1. lemma OAI.UniversalTensorSquare.degreeTree22_0All line 17
  2. lemma OAI.UniversalTensorSquare.degreeTree22_1All line 20
  3. lemma OAI.UniversalTensorSquare.degreeTree22_2All line 23
  4. lemma OAI.UniversalTensorSquare.degreeTree22_3All line 26
  5. lemma OAI.UniversalTensorSquare.degreeTree22_4All line 29
  6. lemma OAI.UniversalTensorSquare.degreeTree22_5All line 32
  7. lemma OAI.UniversalTensorSquare.degreeTree22_6All line 35
  8. lemma OAI.UniversalTensorSquare.degreeTree22_7All line 38
  9. lemma OAI.UniversalTensorSquare.degreeTree22_8All line 41
  10. lemma OAI.UniversalTensorSquare.degreeTree22_9All line 44
  11. lemma OAI.UniversalTensorSquare.degreeTree22_10All line 47
  12. lemma OAI.UniversalTensorSquare.degreeTree22_11All line 50
  13. lemma OAI.UniversalTensorSquare.degreeTree22_12All line 53
  14. lemma OAI.UniversalTensorSquare.degreeTree22_13All line 56
  15. lemma OAI.UniversalTensorSquare.degreeTree22_14All line 59
  16. lemma OAI.UniversalTensorSquare.degreeTreeAll22 line 62