OAI/RepresentationTheory/UniversalSquare/Support/Extensions.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Extensions.

  1. theorem OAI.UniversalTensorSquare.irreducibles_of_kronecker_pos line 17
  2. theorem OAI.UniversalTensorSquare.universal_tensor_square_triangular line 41
  3. def OAI.UniversalTensorSquare.staircaseIndex line 57
  4. lemma OAI.UniversalTensorSquare.index_le_staircase_card line 61
  5. lemma OAI.UniversalTensorSquare.staircaseIndex_spec line 66
  6. lemma OAI.UniversalTensorSquare.le_staircaseIndex line 80
  7. def OAI.UniversalTensorSquare.remainderPairs line 85
  8. lemma OAI.UniversalTensorSquare.degree_eq line 87
  9. lemma OAI.UniversalTensorSquare.remainderPairs_bound_odd line 93
  10. lemma OAI.UniversalTensorSquare.remainderPairs_bound_even line 107
  11. lemma OAI.UniversalTensorSquare.degree_le_64_of_small_index line 131
  12. theorem OAI.Saxl.Path.odd_path_support line 151