OAI/Combinatorics/Chromatic/Shuffle/DegreeIdeals.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.componentB_mul_components line 13
2. def OAI.ElementaryPositivity.RawShuffle.SplitTree.addDegrees line 29
3. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.totalDegree_addDegrees line 34
4. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.componentTensor_mul_components line 42
5. def OAI.ElementaryPositivity.RawShuffle.SplitTree.degreeCutSubmodule line 78
6. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.degreeCutSubmodule_mul_mem line 85
7. def OAI.ElementaryPositivity.RawShuffle.SplitTree.degreeCutIdeal line 109
8. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.degreeCut_mul line 128
9. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.degreeCut_weightComponent_zero line 152
10. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.leading_multiplier_congruence line 164