OAI/RepresentationTheory/UniversalSquare/Support/ExceptionalFourteen.lean

GitHub source file

70 declarations, 0 contain sorry, 0 declared as axioms

Exceptional Fourteen.

  1. def OAI.UniversalTensorSquare.exceptionalPlan71 line 15
  2. def OAI.UniversalTensorSquare.exceptionalRows71 line 17
  3. lemma OAI.UniversalTensorSquare.exceptionalCheck71 line 19
  4. lemma OAI.UniversalTensorSquare.exceptionalCard71 line 24
  5. lemma OAI.UniversalTensorSquare.exceptional_pos71 line 27
  6. def OAI.UniversalTensorSquare.exceptionalPlan73 line 34
  7. def OAI.UniversalTensorSquare.exceptionalRows73 line 36
  8. lemma OAI.UniversalTensorSquare.exceptionalCheck73 line 38
  9. lemma OAI.UniversalTensorSquare.exceptionalCard73 line 43
  10. lemma OAI.UniversalTensorSquare.exceptional_pos73 line 46
  11. def OAI.UniversalTensorSquare.exceptionalPlan75 line 53
  12. def OAI.UniversalTensorSquare.exceptionalRows75 line 55
  13. lemma OAI.UniversalTensorSquare.exceptionalCheck75 line 57
  14. lemma OAI.UniversalTensorSquare.exceptionalCard75 line 62
  15. lemma OAI.UniversalTensorSquare.exceptional_pos75 line 65
  16. def OAI.UniversalTensorSquare.exceptionalPlan77 line 72
  17. def OAI.UniversalTensorSquare.exceptionalRows77 line 74
  18. lemma OAI.UniversalTensorSquare.exceptionalCheck77 line 76
  19. lemma OAI.UniversalTensorSquare.exceptionalCard77 line 81
  20. lemma OAI.UniversalTensorSquare.exceptional_pos77 line 84
  21. def OAI.UniversalTensorSquare.exceptionalPlan79 line 91
  22. def OAI.UniversalTensorSquare.exceptionalRows79 line 93
  23. lemma OAI.UniversalTensorSquare.exceptionalCheck79 line 95
  24. lemma OAI.UniversalTensorSquare.exceptionalCard79 line 100
  25. lemma OAI.UniversalTensorSquare.exceptional_pos79 line 103
  26. def OAI.UniversalTensorSquare.exceptionalPlan81 line 110
  27. def OAI.UniversalTensorSquare.exceptionalRows81 line 112
  28. lemma OAI.UniversalTensorSquare.exceptionalCheck81 line 114
  29. lemma OAI.UniversalTensorSquare.exceptionalCard81 line 119
  30. lemma OAI.UniversalTensorSquare.exceptional_pos81 line 122
  31. def OAI.UniversalTensorSquare.exceptionalPlan83 line 129
  32. def OAI.UniversalTensorSquare.exceptionalRows83 line 131
  33. lemma OAI.UniversalTensorSquare.exceptionalCheck83 line 133
  34. lemma OAI.UniversalTensorSquare.exceptionalCard83 line 138
  35. lemma OAI.UniversalTensorSquare.exceptional_pos83 line 141
  36. def OAI.UniversalTensorSquare.exceptionalPlan85 line 148
  37. def OAI.UniversalTensorSquare.exceptionalRows85 line 150
  38. lemma OAI.UniversalTensorSquare.exceptionalCheck85 line 152
  39. lemma OAI.UniversalTensorSquare.exceptionalCard85 line 157
  40. lemma OAI.UniversalTensorSquare.exceptional_pos85 line 160
  41. def OAI.UniversalTensorSquare.exceptionalPlan87 line 167
  42. def OAI.UniversalTensorSquare.exceptionalRows87 line 169
  43. lemma OAI.UniversalTensorSquare.exceptionalCheck87 line 171
  44. lemma OAI.UniversalTensorSquare.exceptionalCard87 line 176
  45. lemma OAI.UniversalTensorSquare.exceptional_pos87 line 179
  46. def OAI.UniversalTensorSquare.exceptionalPlan106 line 186
  47. def OAI.UniversalTensorSquare.exceptionalRows106 line 188
  48. lemma OAI.UniversalTensorSquare.exceptionalCheck106 line 190
  49. lemma OAI.UniversalTensorSquare.exceptionalCard106 line 195
  50. lemma OAI.UniversalTensorSquare.exceptional_pos106 line 198
  51. def OAI.UniversalTensorSquare.exceptionalPlan108 line 205
  52. def OAI.UniversalTensorSquare.exceptionalRows108 line 207
  53. lemma OAI.UniversalTensorSquare.exceptionalCheck108 line 209
  54. lemma OAI.UniversalTensorSquare.exceptionalCard108 line 214
  55. lemma OAI.UniversalTensorSquare.exceptional_pos108 line 217
  56. def OAI.UniversalTensorSquare.exceptionalPlan110 line 224
  57. def OAI.UniversalTensorSquare.exceptionalRows110 line 226
  58. lemma OAI.UniversalTensorSquare.exceptionalCheck110 line 228
  59. lemma OAI.UniversalTensorSquare.exceptionalCard110 line 233
  60. lemma OAI.UniversalTensorSquare.exceptional_pos110 line 236
  61. def OAI.UniversalTensorSquare.exceptionalPlan114 line 243
  62. def OAI.UniversalTensorSquare.exceptionalRows114 line 245
  63. lemma OAI.UniversalTensorSquare.exceptionalCheck114 line 247
  64. lemma OAI.UniversalTensorSquare.exceptionalCard114 line 252
  65. lemma OAI.UniversalTensorSquare.exceptional_pos114 line 255
  66. def OAI.UniversalTensorSquare.exceptionalPlan149 line 262
  67. def OAI.UniversalTensorSquare.exceptionalRows149 line 264
  68. lemma OAI.UniversalTensorSquare.exceptionalCheck149 line 266
  69. lemma OAI.UniversalTensorSquare.exceptionalCard149 line 271
  70. lemma OAI.UniversalTensorSquare.exceptional_pos149 line 274