OAI/Combinatorics/Chromatic/Shuffle/ShuffleProjection.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.shuffleTensor_projection line 29
2. def OAI.ElementaryPositivity.RawShuffle.restrictRows line 44
3. lemma OAI.ElementaryPositivity.RawShuffle.twoTarget_projection line 49
4. lemma OAI.ElementaryPositivity.RawShuffle.twoTarget_Laurent_projection line 57
5. lemma OAI.ElementaryPositivity.RawShuffle.cutSplit_pack line 85
6. def OAI.ElementaryPositivity.RawShuffle.rowSplitEquiv line 92
7. lemma OAI.ElementaryPositivity.RawShuffle.rowSplit_rawFactor line 98
8. lemma OAI.ElementaryPositivity.RawShuffle.rowSplit_inverseKernel line 111
9. lemma OAI.ElementaryPositivity.RawShuffle.fourValue_restrictRows line 136