OAI/RepresentationTheory/Saxl/StripExtension.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Saxl.pieri_strip_surjective line 11
2. def OAI.Saxl.restrictPerm line 33
3. lemma OAI.Saxl.restrictPerm_apply line 38
4. lemma OAI.Saxl.tableauInclusion_trans line 46
5. def OAI.Saxl.extendColor line 54
6. lemma OAI.Saxl.extendColor_apply line 57
7. lemma OAI.Saxl.extendColor_mem line 65
8. lemma OAI.Saxl.extendColor_le line 74
9. lemma OAI.Saxl.extendColor_count_old line 82
10. lemma OAI.Saxl.extendColor_count_new line 103