OAI/Combinatorics/Chromatic/Shuffle/GlobalConvolutionQuotient.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.convVanishes_zeroMap line 16
2. lemma OAI.ElementaryPositivity.RawShuffle.convVanishes_add line 21
3. lemma OAI.ElementaryPositivity.RawShuffle.convVanishes_neg line 30
4. def OAI.ElementaryPositivity.RawShuffle.convolutionIdeal line 37
5. abbrev OAI.ElementaryPositivity.RawShuffle.ConvolutionQuotient line 51
6. def OAI.ElementaryPositivity.RawShuffle.convolutionProjection line 53
7. lemma OAI.ElementaryPositivity.RawShuffle.convolutionProjection_eq_zero_iff line 57
8. lemma OAI.ElementaryPositivity.RawShuffle.convolutionProjection_eq_iff line 66
9. lemma OAI.ElementaryPositivity.RawShuffle.convolutionProjection_nilpotent line 76