OAI/Combinatorics/Chromatic/Shuffle/TripleAssociativity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.RawShuffle.SplitTree.normalizedRightTripleSymbol line 16
2. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.normalizedRightTripleSymbol_tmul line 30
3. lemma OAI.ElementaryPositivity.RawShuffle.tensorSeparationRight_filtration line 79
4. def OAI.ElementaryPositivity.RawShuffle.tensorSeparationRight line 92
5. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.normalizedRightTripleSymbol_tmul_eq line 112
6. theorem OAI.ElementaryPositivity.RawShuffle.SplitTree.tensorSeparationRight_normalized_symbol line 126