OAI/Probability/SignedSweeps/BranchingDimensions.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SignedSweeps.subdiagram_specht_occurs_at line 10
2. lemma OAI.SignedSweeps.sum_spechtDimensions_le line 40
3. theorem OAI.SignedSweeps.subdiagram_dimension_sum_le line 83
4. def OAI.SignedSweeps.standardTableauCount line 92
5. theorem OAI.SignedSweeps.standardTableauCount_le_spechtDimension line 96