OAI/Combinatorics/Chromatic/Shuffle/CellSeparation.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ElementaryPositivity.RawShuffle.fourInputSeries line 32
  2. lemma OAI.ElementaryPositivity.RawShuffle.fourGrid_relativeTaylor_factor line 40
  3. lemma OAI.ElementaryPositivity.RawShuffle.polynomial_mapped_product line 53
  4. lemma OAI.ElementaryPositivity.RawShuffle.fourPolynomial_mapped_product_pair line 60
  5. lemma OAI.ElementaryPositivity.RawShuffle.fourPolynomial_mapped_product line 72
  6. lemma OAI.ElementaryPositivity.RawShuffle.fourGrid_taylor_factor line 86
  7. lemma OAI.ElementaryPositivity.RawShuffle.negative_unit_word_rat line 98
  8. lemma OAI.ElementaryPositivity.RawShuffle.fourTensorKernelRHS_scalar line 103
  9. lemma OAI.ElementaryPositivity.RawShuffle.kernel_product_rearrange line 114
  10. lemma OAI.ElementaryPositivity.RawShuffle.four_rat_smul_series line 122
  11. lemma OAI.ElementaryPositivity.RawShuffle.firstColumn_tensorSeparationSeries line 128
  12. lemma OAI.ElementaryPositivity.RawShuffle.secondColumn_tensorSeparationSeries line 136
  13. lemma OAI.ElementaryPositivity.RawShuffle.fourInputSeries_factor line 144
  14. lemma OAI.ElementaryPositivity.RawShuffle.kernel_product_rearrange_with_factors line 162
  15. lemma OAI.ElementaryPositivity.RawShuffle.fourGrid_normalized_algebra line 168
  16. lemma OAI.ElementaryPositivity.RawShuffle.fourGrid_normalized line 184