OAI/Combinatorics/Chromatic/Walls/TriangularGapOrthogonality.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.TriangularDynamics.stationary_anchor_pair_zero line 13
2. lemma OAI.ElementaryPositivity.TriangularDynamics.gapXi_cell line 22
3. lemma OAI.ElementaryPositivity.TriangularDynamics.gap_positive_u line 28
4. lemma OAI.ElementaryPositivity.TriangularDynamics.positive_level_event_zero line 48
5. lemma OAI.ElementaryPositivity.TriangularDynamics.positive_gap_target_zero line 61
6. lemma OAI.ElementaryPositivity.TriangularDynamics.phaseEarlier_trans line 89
7. def OAI.ElementaryPositivity.TriangularDynamics.phaseLE line 98
8. instance OAI.ElementaryPositivity.TriangularDynamics.(instance at line 99) line 99
9. instance OAI.ElementaryPositivity.TriangularDynamics.(instance at line 100) line 100
10. instance OAI.ElementaryPositivity.TriangularDynamics.(instance at line 107) line 107
11. instance OAI.ElementaryPositivity.TriangularDynamics.(instance at line 114) line 114
12. def OAI.ElementaryPositivity.TriangularDynamics.phaseCycle line 121
13. lemma OAI.ElementaryPositivity.TriangularDynamics.mem_phaseCycle line 122
14. lemma OAI.ElementaryPositivity.TriangularDynamics.phaseCycle_nodup line 123
15. lemma OAI.ElementaryPositivity.TriangularDynamics.phaseCycle_pairwise line 124
16. lemma OAI.ElementaryPositivity.TriangularDynamics.prefix_before line 127