OAI/Probability/SignedSweeps/TraceDecomposition.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.SignedSweeps.partitionFintype line 14
2. lemma OAI.SignedSweeps.class_function_expansion line 16
3. theorem OAI.SignedSweeps.character_specht_expansion line 34
4. lemma OAI.SignedSweeps.trace_coefficientAction line 50
5. theorem OAI.SignedSweeps.trace_specht_expansion line 56
6. lemma OAI.SignedSweeps.finiteRegular_character line 71
7. lemma OAI.SignedSweeps.specht_regular_multiplicity line 82
8. theorem OAI.SignedSweeps.regular_trace_specht_expansion line 96