OAI/Combinatorics/Chromatic/Walls/TriangularCommutativity.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.TriangularDynamics.pureAnchor_pair line 18
2. lemma OAI.ElementaryPositivity.TriangularDynamics.pure_product_cyclic line 22
3. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularPure_equal line 42
4. lemma OAI.ElementaryPositivity.TriangularDynamics.triangularExpression_cast line 54
5. theorem OAI.ElementaryPositivity.TriangularDynamics.triangularExpression_commute line 57
6. lemma OAI.ElementaryPositivity.QuantumTorus.section_line_step line 79
7. theorem OAI.ElementaryPositivity.QuantumTorus.positive_sections line 139
8. theorem OAI.ElementaryPositivity.QuantumTorus.thetaValue_positive line 192