OAI/Combinatorics/Chromatic/Walls/ForwardPolynomialMutation.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ElementaryPositivity.TriangularDynamics.vertexDisplay line 20
  2. lemma OAI.ElementaryPositivity.TriangularDynamics.vertexDisplay_update line 22
  3. lemma OAI.ElementaryPositivity.TriangularDynamics.freeChart_polynomial_step line 30
  4. def OAI.ElementaryPositivity.TriangularDynamics.periodBridge line 90
  5. def OAI.ElementaryPositivity.TriangularDynamics.partialBridge line 93
  6. lemma OAI.ElementaryPositivity.TriangularDynamics.partialBridge_nil line 95
  7. lemma OAI.ElementaryPositivity.TriangularDynamics.partialBridge_cycle line 98
  8. lemma OAI.ElementaryPositivity.TriangularDynamics.partialBridge_scheduled line 101
  9. lemma OAI.ElementaryPositivity.TriangularDynamics.eventRoot_partial line 105
  10. lemma OAI.ElementaryPositivity.TriangularDynamics.cycle_head_not_mem line 110
  11. lemma OAI.ElementaryPositivity.TriangularDynamics.partialBridge_step line 119
  12. lemma OAI.ElementaryPositivity.TriangularDynamics.periodFunctional_anchor line 131
  13. lemma OAI.ElementaryPositivity.TriangularDynamics.periodFunctional_bridge line 136
  14. lemma OAI.ElementaryPositivity.TriangularDynamics.gaps_cut_nonpos line 144
  15. lemma OAI.ElementaryPositivity.TriangularDynamics.periodInventory_cut_nonpos line 160