OAI/Combinatorics/Chromatic/Shuffle/GlobalWordPairing.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.RawShuffle.functionalWord line 16
2. lemma OAI.ElementaryPositivity.RawShuffle.functionalWord_cons line 19
3. lemma OAI.ElementaryPositivity.RawShuffle.convolution_mul_unit line 22
4. lemma OAI.ElementaryPositivity.RawShuffle.functionalWord_unit line 30
5. lemma OAI.ElementaryPositivity.RawShuffle.convolution_primitiveWord line 35
6. theorem OAI.ElementaryPositivity.RawShuffle.functionalWord_longer line 50
7. theorem OAI.ElementaryPositivity.RawShuffle.functionalWord_top_cuts line 73
8. def OAI.ElementaryPositivity.RawShuffle.emptyCutSum line 112
9. lemma OAI.ElementaryPositivity.RawShuffle.emptyCutSum_eq line 116
10. def OAI.ElementaryPositivity.RawShuffle.singletonCutSum line 140
11. lemma OAI.ElementaryPositivity.RawShuffle.singletonCutSum_nil line 145
12. lemma OAI.ElementaryPositivity.RawShuffle.singletonCutSum_cons line 149
13. lemma OAI.ElementaryPositivity.RawShuffle.functionalWord_top_singleton line 178