OAI/Combinatorics/Chromatic/Shuffle/CrossKernelExplicit.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.sameDen_reverse_eq line 14
2. lemma OAI.ElementaryPositivity.RawShuffle.crossKernelPolynomial_explicit line 38
3. def OAI.ElementaryPositivity.RawShuffle.fourForwardDifference line 89
4. lemma OAI.ElementaryPositivity.RawShuffle.fourSameDen11 line 96
5. lemma OAI.ElementaryPositivity.RawShuffle.fourSameDen22 line 104
6. lemma OAI.ElementaryPositivity.RawShuffle.fourArrow12 line 112
7. lemma OAI.ElementaryPositivity.RawShuffle.fourReverseDifference line 120
8. lemma OAI.ElementaryPositivity.RawShuffle.fourArrow21 line 131
9. lemma OAI.ElementaryPositivity.RawShuffle.fourCrossPolynomial_explicit line 147