OAI/Combinatorics/Chromatic/Walls/CenterLineSpecialization.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.CenterCalculus.lineSpecialization line 11
2. lemma OAI.ElementaryPositivity.CenterCalculus.lineSpecialization_C line 15
3. lemma OAI.ElementaryPositivity.CenterCalculus.lineSpecialization_X line 18
4. lemma OAI.ElementaryPositivity.CenterCalculus.lineSpecialization_eval line 23
5. lemma OAI.ElementaryPositivity.CenterCalculus.lineSpecialization_mapLinear line 33
6. def OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedAtB line 52
7. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.degreeZero_refinedAtB line 61
8. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedAtB_relative_eval line 73
9. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedAtB_relative_polynomial line 103
10. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.centeredRestrictionB_eval_degreeCut line 121
11. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedAtB_relative_coeff_degreeCut line 135