OAI/Combinatorics/CycleDecomposition/LayerCosts.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ErdosGallai.Scale.assigned_union_edges line 18
  2. lemma OAI.ErdosGallai.Scale.box_coupled_partition line 34
  3. theorem OAI.ErdosGallai.Scale.uniform_local_box_cost line 46
  4. lemma OAI.ErdosGallai.Scale.pastPieces_mem line 145
  5. theorem OAI.ErdosGallai.Scale.uniform_committed_piece_cost line 156
  6. theorem OAI.ErdosGallai.Scale.uniform_gap_prefix_cost line 177
  7. lemma OAI.ErdosGallai.main_gap_scalar line 231
  8. lemma OAI.ErdosGallai.main_terminal_scalar line 249
  9. lemma OAI.ErdosGallai.Scale.Layers.gap_log line 270
  10. lemma OAI.ErdosGallai.Scale.Layers.gap_mass line 276
  11. lemma OAI.ErdosGallai.Scale.Layers.gap_cycles line 287
  12. lemma OAI.ErdosGallai.Scale.Layers.boundary_cost line 301
  13. lemma OAI.ErdosGallai.Scale.Layers.terminal_cost line 323