OAI/RepresentationTheory/UniversalSquare/Finite/DegreeRegions43.lean

GitHub source file

64 declarations, 0 contain sorry, 0 declared as axioms

Degree Regions 43.

  1. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_11 line 15
  2. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_16 line 28
  3. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_22 line 42
  4. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_29 line 57
  5. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_37 line 73
  6. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_46 line 90
  7. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_56 line 108
  8. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_67 line 127
  9. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_80 line 148
  10. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_94 line 170
  11. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_109 line 193
  12. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_125 line 217
  13. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_142 line 242
  14. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_8 line 268
  15. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_186 line 314
  16. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_196 line 327
  17. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_191 line 342
  18. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_203 line 356
  19. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_210 line 371
  20. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_219 line 388
  21. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_229 line 406
  22. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_240 line 425
  23. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_252 line 445
  24. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_265 line 466
  25. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_279 line 488
  26. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_294 line 511
  27. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_310 line 535
  28. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_182 line 561
  29. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_360 line 608
  30. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_355 line 622
  31. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_371 line 636
  32. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_377 line 650
  33. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_366 line 665
  34. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_384 line 680
  35. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_392 line 696
  36. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_401 line 713
  37. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_411 line 731
  38. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_422 line 750
  39. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_434 line 770
  40. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_447 line 791
  41. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_462 line 814
  42. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_478 line 838
  43. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_495 line 863
  44. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_351 line 889
  45. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_541 line 936
  46. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_547 line 950
  47. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_554 line 965
  48. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_562 line 981
  49. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_571 line 998
  50. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_536 line 1016
  51. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_617 line 1064
  52. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_624 line 1079
  53. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_633 line 1096
  54. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_643 line 1114
  55. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_611 line 1133
  56. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_691 line 1181
  57. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_684 line 1198
  58. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_732 line 1246
  59. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_772 line 1294
  60. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_813 line 1343
  61. lemma OAI.UniversalTensorSquare.degreeUnionBranch43_854 line 1392
  62. lemma OAI.UniversalTensorSquare.degreeUnionCheck43 line 1441
  63. lemma OAI.UniversalTensorSquare.degreeHalfCover43 line 1470
  64. lemma OAI.UniversalTensorSquare.degreeDiagramRegionsChecked43 line 1473