OAI/Probability/SignedSweeps/TransposeSpecht.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SignedSweeps.transposeLabels line 10
  2. lemma OAI.SignedSweeps.transposeLabels_row line 18
  3. lemma OAI.SignedSweeps.transposeLabels_col line 22
  4. lemma OAI.SignedSweeps.transposeLabels_conj_row line 26
  5. lemma OAI.SignedSweeps.transposeLabels_conj_col line 35
  6. lemma OAI.SignedSweeps.complexSign_permCongr line 44
  7. lemma OAI.SignedSweeps.signTwist_irreducible line 50
  8. def OAI.SignedSweeps.unconjugateIntertwiner line 75
  9. theorem OAI.SignedSweeps.specht_transpose_sign_equiv line 91