OAI/Combinatorics/Chromatic/Walls/TriangularGapPairing.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ElementaryPositivity.TriangularDynamics.ownNodeWeight line 13
  2. def OAI.ElementaryPositivity.TriangularDynamics.lowerNodeWeight line 16
  3. def OAI.ElementaryPositivity.TriangularDynamics.upperNodeWeight line 18
  4. def OAI.ElementaryPositivity.TriangularDynamics.eventNodeWeight line 21
  5. lemma OAI.ElementaryPositivity.TriangularDynamics.eventRoot_levelNode line 27
  6. lemma OAI.ElementaryPositivity.TriangularDynamics.ownNodeWeight_step line 62
  7. lemma OAI.ElementaryPositivity.TriangularDynamics.lowerNodeWeight_step line 78
  8. lemma OAI.ElementaryPositivity.TriangularDynamics.upperNodeWeight_step line 93
  9. def OAI.ElementaryPositivity.TriangularDynamics.eventGapWeight line 100
  10. lemma OAI.ElementaryPositivity.TriangularDynamics.eventRoot_forwardGap line 114
  11. def OAI.ElementaryPositivity.TriangularDynamics.gapValue line 144
  12. lemma OAI.ElementaryPositivity.TriangularDynamics.gapValue_nonneg line 147
  13. lemma OAI.ElementaryPositivity.TriangularDynamics.gapValue_out line 152
  14. lemma OAI.ElementaryPositivity.TriangularDynamics.gap_ext line 162
  15. lemma OAI.ElementaryPositivity.TriangularDynamics.gapValue_read line 171
  16. lemma OAI.ElementaryPositivity.TriangularDynamics.sum_eventGapWeight line 181
  17. lemma OAI.ElementaryPositivity.TriangularDynamics.eventRoot_roots line 208