OAI/Combinatorics/Chromatic/Walls/RefinedTensorDetection.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedCenterPolynomial line 15
2. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedCenterPolynomial_eval line 24
3. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedCenterPolynomial_coeff_test line 38
4. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.refinedAtB_weight_zero_test line 53
5. lemma OAI.ElementaryPositivity.RawShuffle.refined_negative_separation_weight_zero line 85
6. theorem OAI.ElementaryPositivity.RawShuffle.separationCoefficient_negative_filtration line 102
7. lemma OAI.ElementaryPositivity.CenterCalculus.lineSpecialization_coeff_zero line 126
8. lemma OAI.ElementaryPositivity.CenterCalculus.evalRat_map_algebra_eq line 131