OAI/Combinatorics/Chromatic/Shuffle/TensorDivisibility.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedCenterPolynomial_tmul line 15
2. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.mapLinear_weight_box line 28
3. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedLeadingPolynomial_tmul line 41
4. def OAI.ElementaryPositivity.RawShuffle.SplitTree.internalDenominator line 57
5. def OAI.ElementaryPositivity.RawShuffle.SplitTree.internalNumerator line 62
6. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedLeadingPolynomial_denominator_divisible line 67
7. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.centerPairs_prod_node line 112
8. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.centerNumerator_node line 140
9. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.centerDenominator_node line 150