OAI/Combinatorics/Chromatic/Walls/RefinedLaurent.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refined_inverseKernel_degreeZero line 19
2. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refined_relative_laurent_degreeCut line 37
3. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refined_leading_separation_formula line 54