OAI/Combinatorics/Chromatic/Walls/TriangularMonomialCriterion.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularConeDelta_apply line 19
2. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularMonomial_initial line 36
3. def OAI.ElementaryPositivity.TriangularDynamics.anchorExponent line 144
4. lemma OAI.ElementaryPositivity.TriangularDynamics.anchorExponent_injective line 152
5. lemma OAI.ElementaryPositivity.TriangularDynamics.anchorExponent_pair line 159
6. def OAI.ElementaryPositivity.TriangularDynamics.anchorPolynomialAdd line 164
7. lemma OAI.ElementaryPositivity.TriangularDynamics.anchorPolynomial_monomial line 169
8. lemma OAI.ElementaryPositivity.TriangularDynamics.anchorPolynomial_coeff line 172
9. lemma OAI.ElementaryPositivity.TriangularDynamics.anchorPolynomial_mul line 175
10. def OAI.ElementaryPositivity.TriangularDynamics.anchorPolynomial line 186
11. lemma OAI.ElementaryPositivity.TriangularDynamics.anchorPolynomial_X line 194