OAI/RepresentationTheory/UniversalSquare/Finite/DegreeRegions24.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Degree Regions 24.

  1. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_6 line 15
  2. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_27 line 44
  3. lemma OAI.UniversalTensorSquare.degreeUnionBranch24_48 line 73
  4. lemma OAI.UniversalTensorSquare.degreeUnionCheck24 line 103
  5. lemma OAI.UniversalTensorSquare.degreeHalfCover24 line 132
  6. lemma OAI.UniversalTensorSquare.degreeDiagramRegionsChecked24 line 135