OAI/RepresentationTheory/UniversalSquare/Finite/DegreeRegions39.lean

GitHub source file

29 declarations, 0 contain sorry, 0 declared as axioms

Degree Regions 39.

  1. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_12 line 15
  2. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_17 line 28
  3. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_23 line 42
  4. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_30 line 57
  5. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_39 line 74
  6. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_49 line 92
  7. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_60 line 111
  8. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_72 line 131
  9. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_85 line 152
  10. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_8 line 174
  11. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_125 line 217
  12. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_131 line 231
  13. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_138 line 246
  14. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_146 line 262
  15. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_155 line 279
  16. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_165 line 297
  17. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_176 line 316
  18. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_188 line 336
  19. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_121 line 358
  20. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_230 line 401
  21. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_236 line 415
  22. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_243 line 430
  23. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_251 line 446
  24. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_260 line 463
  25. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_271 line 482
  26. lemma OAI.UniversalTensorSquare.degreeUnionBranch39_225 line 502
  27. lemma OAI.UniversalTensorSquare.degreeUnionCheck39 line 546
  28. lemma OAI.UniversalTensorSquare.degreeHalfCover39 line 571
  29. lemma OAI.UniversalTensorSquare.degreeDiagramRegionsChecked39 line 574