OAI/Combinatorics/Chromatic/Shuffle/FourAffineKernel.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.RawShuffle.fourRelativeRaw line 14
2. def OAI.ElementaryPositivity.RawShuffle.fourAffine line 20
3. lemma OAI.ElementaryPositivity.RawShuffle.polynomial_fourRelative_difference line 25
4. def OAI.ElementaryPositivity.RawShuffle.fourClearingUnit line 33
5. def OAI.ElementaryPositivity.RawShuffle.fourTotalInverseUnit line 36
6. def OAI.ElementaryPositivity.RawShuffle.fourCrossAffineUnit line 39
7. lemma OAI.ElementaryPositivity.RawShuffle.polynomial_fourRelative_cross line 50
8. lemma OAI.ElementaryPositivity.tensor_map_projection line 67