OAI/Combinatorics/Chromatic/Walls/GraphTriangularEmbedding.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.TriangularDynamics.rankedCell line 13
2. lemma OAI.ElementaryPositivity.TriangularDynamics.rankedCell_level line 18
3. lemma OAI.ElementaryPositivity.TriangularDynamics.rankedCell_row line 20
4. lemma OAI.ElementaryPositivity.TriangularDynamics.rankedCell_injective line 22
5. lemma OAI.ElementaryPositivity.TriangularDynamics.rankedCell_phase line 27
6. lemma OAI.ElementaryPositivity.TriangularDynamics.floor_pair_comparisons line 41
7. theorem OAI.ElementaryPositivity.TriangularDynamics.graph_triangular_embedding line 57