OAI/MathematicalPhysics/Heisenberg/FlowCongestion.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Heisenberg.Flow.path_current_decay line 21
  2. theorem OAI.Heisenberg.Flow.connected_envelope line 37
  3. def OAI.Heisenberg.Flow.edgeCode line 96
  4. lemma OAI.Heisenberg.Flow.edgeCode_injective line 103
  5. lemma OAI.Heisenberg.Flow.summable_graph_envelope line 110
  6. theorem OAI.Heisenberg.Flow.graph_finite_energy line 123
  7. lemma OAI.Heisenberg.FlowOverlap.weighted_half line 142
  8. lemma OAI.Heisenberg.FlowOverlap.weighted_product line 169
  9. theorem OAI.Heisenberg.FlowOverlap.overlap_sum line 185
  10. lemma OAI.Heisenberg.Flow.uniform_graph_sum line 234
  11. theorem OAI.Heisenberg.Flow.graph_overlap_uniform line 263