OAI/Probability/BinarySweep/YoungTheory/CutColumns.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryCoordinateSweeps.Young.cutPerm_mem_column_iff line 19
2. def OAI.BinaryCoordinateSweeps.Young.cutColumns line 36
3. lemma OAI.BinaryCoordinateSweeps.Young.column_glue_in_range line 42
4. lemma OAI.BinaryCoordinateSweeps.Young.polytabloid_coefficient line 79
5. lemma OAI.BinaryCoordinateSweeps.Young.cut_column_coefficient line 88
6. theorem OAI.BinaryCoordinateSweeps.Young.polytabloid_glue line 99
7. lemma OAI.BinaryCoordinateSweeps.Irrep.span_orbit_eq_top line 134