OAI/Combinatorics/Chromatic/Shuffle/GeometricRootClosure.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ElementaryPositivity.RawShuffle.geometric_zero_rootClosure line 24
2. lemma OAI.ElementaryPositivity.RawShuffle.rootDegree_finset_sum line 50
3. lemma OAI.ElementaryPositivity.RawShuffle.rootSum_rootDegree line 61
4. lemma OAI.ElementaryPositivity.RawShuffle.rootSum_mem line 67
5. lemma OAI.ElementaryPositivity.RawShuffle.rootSum_slope_zero line 71