OAI/Probability/SignedSweeps/WordSpecht.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SignedSweeps.rowColorWord line 10
2. lemma OAI.SignedSweeps.rowColorWord_stabilizer line 14
3. lemma OAI.SignedSweeps.rowColorWord_column_row line 26
4. lemma OAI.SignedSweeps.rowColor_specht_coefficient line 37
5. theorem OAI.SignedSweeps.specht_occurs_word line 50
6. lemma OAI.SignedSweeps.wordTensor_diagonal line 62
7. lemma OAI.SignedSweeps.wordMatrixEquiv_symm line 72
8. lemma OAI.SignedSweeps.word_diagonal_single line 77
9. lemma OAI.SignedSweeps.orbitEvaluation_eigen line 90
10. theorem OAI.SignedSweeps.rowColor_specht_eigen line 102