OAI/Combinatorics/Chromatic/Shuffle/PolynomialExtendInjective.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.extendPolynomial_injective line 9
2. def OAI.ElementaryPositivity.RawShuffle.sourceTripleAssoc line 34
3. def OAI.ElementaryPositivity.RawShuffle.iteratedCoproductLeft line 42
4. def OAI.ElementaryPositivity.RawShuffle.iteratedCoproductRight line 51
5. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.normalizedTripleSymbol_difference_mem line 65
6. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.iteratedCoproductLeft_normalizedSymbol line 95
7. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.iteratedCoproductRight_normalizedSymbol line 114
8. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.iteratedCoproduct_normalizedSymbol_eq line 146
9. theorem OAI.ElementaryPositivity.RawShuffle.separation_coassoc_filtration line 178
10. theorem OAI.ElementaryPositivity.RawShuffle.separationCoproduct_coassociative line 195