OAI/Combinatorics/Chromatic/Shuffle/HNPolynomial.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.RawShuffle.hnPolynomial line 14
2. lemma OAI.ElementaryPositivity.RawShuffle.hnPolynomial_cons line 18
3. lemma OAI.ElementaryPositivity.RawShuffle.hnWordMap_polynomial line 21
4. lemma OAI.ElementaryPositivity.RawShuffle.clipped_destabilizingSpace_le line 32
5. def OAI.ElementaryPositivity.RawShuffle.clippedToOriginal line 41
6. lemma OAI.ElementaryPositivity.RawShuffle.clippedToOriginal_mk line 44
7. lemma OAI.ElementaryPositivity.RawShuffle.headRestriction_wrong_head line 47