OAI/Combinatorics/Chromatic/Shuffle/ColumnTaylor.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.translationS_one line 22
2. lemma OAI.ElementaryPositivity.RawShuffle.firstColumn_relativeTaylor line 27
3. lemma OAI.ElementaryPositivity.RawShuffle.secondColumn_relativeTaylor line 45
4. lemma OAI.ElementaryPositivity.RawShuffle.restrictRows_relativeTaylor line 79
5. lemma OAI.ElementaryPositivity.RawShuffle.shuffleTensor_translation line 98
6. lemma OAI.ElementaryPositivity.RawShuffle.twoTarget_relativeTaylor line 110
7. lemma OAI.ElementaryPositivity.RawShuffle.twoTarget_polynomial_relativeTaylor line 129