OAI/Combinatorics/Chromatic/Walls/TriangularPolynomialStationarity.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.TriangularDynamics.triangularExpression line 13
2. def OAI.ElementaryPositivity.TriangularDynamics.triangularIncoming line 16
3. lemma OAI.ElementaryPositivity.TriangularDynamics.cellLevel_surjective line 20
4. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularExpression_stationary line 24
5. lemma OAI.ElementaryPositivity.TriangularDynamics.forwardRoots_single line 59
6. lemma OAI.ElementaryPositivity.TriangularDynamics.forwardRoots_coord_gap line 67
7. lemma OAI.ElementaryPositivity.TriangularDynamics.forwardRoots_coord_level line 71
8. lemma OAI.ElementaryPositivity.TriangularDynamics.forwardRoots_coord_anchor line 85
9. lemma OAI.ElementaryPositivity.TriangularDynamics.forwardRoots_coord_vertex line 97
10. def OAI.ElementaryPositivity.TriangularDynamics.vertexWeight line 114
11. lemma OAI.ElementaryPositivity.TriangularDynamics.vertexWeight_apply line 115
12. lemma OAI.ElementaryPositivity.TriangularDynamics.forwardRoots_coord line 118
13. lemma OAI.ElementaryPositivity.TriangularDynamics.forwardCoord_nonneg line 137
14. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularVertex_rootDegree line 144