OAI/RepresentationTheory/UniversalSquare/Support/PairSwap.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Pair Swap.

  1. def OAI.Saxl.tensorCommIntertwiner line 15
  2. def OAI.Saxl.pairFlip line 24
  3. lemma OAI.Saxl.pairFlip_tensor line 28
  4. def OAI.Saxl.pairWordMap line 36
  5. lemma OAI.Saxl.pairWordMap_tensor line 43
  6. lemma OAI.Saxl.pairWordMap_injective line 54
  7. lemma OAI.Saxl.polytabloid_doubleTranspose line 63
  8. def OAI.Saxl.rowColumnTransposeMap line 70
  9. lemma OAI.Saxl.rowColumnTransposeMap_word line 78
  10. lemma OAI.Saxl.rowColumnTransposeMap_injective line 85
  11. theorem OAI.Saxl.cyclic_support_map line 92