OAI/Combinatorics/Chromatic/Shuffle/CrossPolynomiality.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.RawShuffle.SplitTree.crossPairs line 17
2. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.crossPairs_injective line 21
3. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.crossPairs_ne line 27
4. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.crossPairs_norev line 33
5. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.crossPairs_symmetric line 41
6. def OAI.ElementaryPositivity.RawShuffle.SplitTree.crossPolynomial line 52
7. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.centerDenominator_crossPairs_line line 58
8. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.scalarCrossKernel_denominator line 80