OAI/Combinatorics/Chromatic/Shuffle/HNZeroFactor.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.RawShuffle.zeroBlockCoefficient line 18
2. lemma OAI.ElementaryPositivity.RawShuffle.zeroBlockCoefficient_eq line 23
3. lemma OAI.ElementaryPositivity.RawShuffle.zeroBlockCoeff_project line 46
4. theorem OAI.ElementaryPositivity.RawShuffle.hnTorus_zeroFactor line 58
5. theorem OAI.ElementaryPositivity.RawShuffle.literalInput_zeroFactor line 68
6. lemma OAI.ElementaryPositivity.RawShuffle.primitiveCountsSeries_vanish line 91
7. lemma OAI.ElementaryPositivity.RawShuffle.primitiveCountsSeries_support line 99
8. lemma OAI.ElementaryPositivity.RawShuffle.primitiveCountsSeries_eq_zeroBlock line 104
9. theorem OAI.ElementaryPositivity.RawShuffle.literalInput_primitiveFactor line 132