OAI/Combinatorics/Chromatic/Shuffle/GradeBInternal.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ElementaryPositivity.RawShuffle.gradeB_internal line 11
2. lemma OAI.ElementaryPositivity.RawShuffle.gradeB_homogeneous_representative line 26
3. theorem OAI.ElementaryPositivity.RawShuffle.shuffleB_graded line 34
4. lemma OAI.ElementaryPositivity.RawShuffle.intWeight_eq_natWeight line 47
5. lemma OAI.ElementaryPositivity.RawShuffle.homogeneous_int_nat line 52
6. lemma OAI.ElementaryPositivity.RawShuffle.componentS_range_finite line 58
7. theorem OAI.ElementaryPositivity.RawShuffle.gradeB_finite line 84