OAI/Combinatorics/Chromatic/Shuffle/HNDiagonal.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.mappedInverseKernel_zero_head line 15
2. lemma OAI.ElementaryPositivity.RawShuffle.mappedInverseRatio_zero_head line 21
3. lemma OAI.ElementaryPositivity.RawShuffle.separation_zero_right line 26
4. lemma OAI.ElementaryPositivity.RawShuffle.separation_zero_left line 30
5. lemma OAI.ElementaryPositivity.RawShuffle.polynomial_mapped_product_two line 35
6. lemma OAI.ElementaryPositivity.RawShuffle.fourPolynomial_mapped_product_two line 42
7. lemma OAI.ElementaryPositivity.RawShuffle.fourTaylor_column_product line 53
8. lemma OAI.ElementaryPositivity.RawShuffle.fourInputSeries_head line 66
9. def OAI.ElementaryPositivity.RawShuffle.rawClearedSeparation line 79
10. def OAI.ElementaryPositivity.RawShuffle.rawRelativeSeries line 84
11. lemma OAI.ElementaryPositivity.RawShuffle.cellTransfer_head_normalized line 87