OAI/Combinatorics/Chromatic/Walls/TriangularPositivePowers.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.adjoint_product line 11
2. def OAI.ElementaryPositivity.TriangularDynamics.linearPower line 31
3. lemma OAI.ElementaryPositivity.TriangularDynamics.linearPower_eval line 35
4. lemma OAI.ElementaryPositivity.TriangularDynamics.homogenize_one_triangular line 41
5. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularLinear_positive line 47
6. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularPower_positive line 59
7. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularPower_incoming_positive line 80
8. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularLinear_ordinary_positive line 114
9. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularLinear_retain line 118
10. def OAI.ElementaryPositivity.TriangularDynamics.natAnchor line 140
11. lemma OAI.ElementaryPositivity.TriangularDynamics.natAnchor_zero line 141
12. lemma OAI.ElementaryPositivity.TriangularDynamics.natAnchor_step line 145
13. lemma OAI.ElementaryPositivity.TriangularDynamics.natural_sum_step line 157
14. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularPower_ordinary_retain line 169