OAI/Combinatorics/Chromatic/Shuffle/TensorPolynomialBox.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.CenterCalculus.box line 13
2. lemma OAI.ElementaryPositivity.CenterCalculus.coeff_box line 18
3. lemma OAI.ElementaryPositivity.CenterCalculus.box_mul line 25
4. lemma OAI.ElementaryPositivity.CenterCalculus.box_scalar line 30
5. lemma OAI.ElementaryPositivity.CenterCalculus.box_scalar_left line 43
6. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.weightComponent_node_tmul line 59
7. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.centeredRestrictionB_coeff_degreeCut line 83