OAI/Combinatorics/Chromatic/Walls/TripleSymbols.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedCenterPolynomial_coeff_degreeCut line 14
2. def OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedTripleCenterPolynomial line 44
3. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedTripleCenterPolynomial_tmul line 56
4. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedTripleCenterPolynomial_coeff_test line 69
5. def OAI.ElementaryPositivity.RawShuffle.SplitTree.tripleInternalDenominator line 92
6. def OAI.ElementaryPositivity.RawShuffle.SplitTree.tripleInternalNumerator line 96
7. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.tripleInternalDenominator_ne_zero line 101
8. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.tripleInternalNumerator_ne_zero line 108
9. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedTripleLeadingPolynomial_tmul line 114
10. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedTripleLeadingPolynomial_denominator_divisible line 131