OAI/Combinatorics/Chromatic/Shuffle/Centers.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.extendPolynomial_comp line 13
2. def OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.centers line 22
3. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.centerTranslation_natural line 30
4. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.centeredRestrictionB_natural line 89
5. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.extendPolynomial_coeff line 103
6. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.centeredRestrictionB_coeff line 111
7. def OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.degrees line 130
8. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.totalDegree line 138
9. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.doubleShift line 148
10. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.onSlope line 158
11. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.componentTensor_natural line 167
12. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.append_ordered line 201
13. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.ordered_normalization line 214