OAI/RepresentationTheory/TensorSquares/Transpose.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Sign twisting and transpose-invariant tensor-square support.

  1. def OAI.UniversalTensorSquares.signTwistEquiv line 14
  2. def OAI.UniversalTensorSquares.signCancelEquiv line 22
  3. def OAI.UniversalTensorSquares.spechtTableauEquiv line 30
  4. def OAI.UniversalTensorSquares.spechtShapeEquiv line 34
  5. lemma OAI.UniversalTensorSquares.canonical_sign_transpose line 39
  6. lemma OAI.UniversalTensorSquares.canonical_self_sign line 47
  7. lemma OAI.UniversalTensorSquares.support_sign_transfer line 55
  8. theorem OAI.UniversalTensorSquares.transpose_support_of_self_conjugate line 80