OAI/Combinatorics/Chromatic/Shuffle/LabeledPolynomial.lean

GitHub source file

31 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ElementaryPositivity.RawShuffle.labeledPolynomial line 13
  2. lemma OAI.ElementaryPositivity.RawShuffle.labeledPolynomial_eq line 18
  3. lemma OAI.ElementaryPositivity.RawShuffle.labeledPolynomial_algebraMap line 26
  4. def OAI.ElementaryPositivity.RawShuffle.mapPack line 32
  5. def OAI.ElementaryPositivity.RawShuffle.mapRealization line 35
  6. lemma OAI.ElementaryPositivity.RawShuffle.mapRealization_map line 40
  7. lemma OAI.ElementaryPositivity.RawShuffle.rename_labeledPolynomial line 45
  8. lemma OAI.ElementaryPositivity.RawShuffle.rename_sameDen line 55
  9. lemma OAI.ElementaryPositivity.RawShuffle.rename_arrowNum line 61
  10. lemma OAI.ElementaryPositivity.RawShuffle.rename_pack_kernel line 67
  11. def OAI.ElementaryPositivity.RawShuffle.mapPackCut line 73
  12. lemma OAI.ElementaryPositivity.RawShuffle.mapPackCut_left line 83
  13. lemma OAI.ElementaryPositivity.RawShuffle.mapPackCut_right line 86
  14. lemma OAI.ElementaryPositivity.RawShuffle.rename_crossKernelPolynomial line 89
  15. def OAI.ElementaryPositivity.RawShuffle.gridPolynomial line 100
  16. lemma OAI.ElementaryPositivity.RawShuffle.mapPack_union line 108
  17. lemma OAI.ElementaryPositivity.RawShuffle.rename_gridPolynomial line 113
  18. def OAI.ElementaryPositivity.RawShuffle.packEmbedding line 129
  19. def OAI.ElementaryPositivity.RawShuffle.embedPack line 132
  20. def OAI.ElementaryPositivity.RawShuffle.embedRealization line 135
  21. lemma OAI.ElementaryPositivity.RawShuffle.embedRealization_map line 140
  22. lemma OAI.ElementaryPositivity.RawShuffle.embed_labeledPolynomial line 145
  23. lemma OAI.ElementaryPositivity.RawShuffle.embed_sameDen line 155
  24. lemma OAI.ElementaryPositivity.RawShuffle.embed_arrowNum line 161
  25. lemma OAI.ElementaryPositivity.RawShuffle.embed_pack_kernel line 167
  26. def OAI.ElementaryPositivity.RawShuffle.embedPackCut line 173
  27. lemma OAI.ElementaryPositivity.RawShuffle.embedPackCut_left line 183
  28. lemma OAI.ElementaryPositivity.RawShuffle.embedPackCut_right line 186
  29. lemma OAI.ElementaryPositivity.RawShuffle.embed_crossKernelPolynomial line 189
  30. lemma OAI.ElementaryPositivity.RawShuffle.embedPack_union line 201
  31. lemma OAI.ElementaryPositivity.RawShuffle.embed_gridPolynomial line 206