OAI/RepresentationTheory/UniversalSquare/Finite/DegreeRegions35.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Degree Regions 35.

  1. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_13 line 15
  2. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_20 line 30
  3. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_8 line 46
  4. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_57 line 85
  5. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_63 line 99
  6. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_70 line 114
  7. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_52 line 130
  8. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_107 line 170
  9. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_114 line 185
  10. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_122 line 201
  11. lemma OAI.UniversalTensorSquare.degreeUnionBranch35_102 line 218
  12. lemma OAI.UniversalTensorSquare.degreeUnionCheck35 line 258
  13. lemma OAI.UniversalTensorSquare.degreeHalfCover35 line 279
  14. lemma OAI.UniversalTensorSquare.degreeDiagramRegionsChecked35 line 282