OAI/Combinatorics/Chromatic/Shuffle/TaylorSCoeffHomogeneous.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.taylorS_coeff_homogeneous line 13
2. lemma OAI.ElementaryPositivity.RawShuffle.taylorB_coeff_graded line 24
3. lemma OAI.ElementaryPositivity.RawShuffle.taylorB_coeff_zero line 34
4. def OAI.ElementaryPositivity.RawShuffle.SplitTree.Degrees line 56
5. instance OAI.ElementaryPositivity.RawShuffle.SplitTree.degreesDecidableEq line 60
6. def OAI.ElementaryPositivity.RawShuffle.SplitTree.totalDegree line 62
7. def OAI.ElementaryPositivity.RawShuffle.SplitTree.NonnegativeDegree line 66
8. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.totalDegree_nonnegative line 71
9. def OAI.ElementaryPositivity.RawShuffle.SplitTree.componentTensor line 77
10. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.componentTensor_negative line 83
11. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.componentTensor_componentTensor line 99
12. theorem OAI.ElementaryPositivity.RawShuffle.SplitTree.componentTensor_finite_decomposition line 121
13. theorem OAI.ElementaryPositivity.RawShuffle.SplitTree.componentTensor_detect line 160
14. def OAI.ElementaryPositivity.RawShuffle.SplitTree.IsOrderedList line 167
15. def OAI.ElementaryPositivity.RawShuffle.SplitTree.doubleShift line 172