OAI/Combinatorics/Chromatic/Shuffle/SeparationHomogeneity.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.rawInverseKernel_homogeneous line 14
2. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.relativeRaw_homogeneous line 44
3. def OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.rawSeparationSeries line 67
4. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.rawSeparationSeries_homogeneous line 70
5. def OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.tensorSeparationSeries line 85
6. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.realize_tensorSeparationSeries line 88
7. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.tensorSeparationSeries_coeff line 93
8. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.separationSeries_mk line 98
9. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.separationCoefficient_mk_raw line 107
10. theorem OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.separationCoefficient_originalDegree line 117
11. theorem OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.separationCoefficient_aboveDegree line 128