OAI/RepresentationTheory/UniversalSquare/Finite/DegreeRegions26.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Degree Regions 26.

  1. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_7 line 15
  2. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_30 line 46
  3. lemma OAI.UniversalTensorSquare.degreeUnionBranch26_53 line 77
  4. lemma OAI.UniversalTensorSquare.degreeUnionCheck26 line 109
  5. lemma OAI.UniversalTensorSquare.degreeHalfCover26 line 140
  6. lemma OAI.UniversalTensorSquare.degreeDiagramRegionsChecked26 line 143