OAI/Combinatorics/ListHadwiger/RecursiveGeometry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.LinearListHadwiger.Recursion.reroute_selected line 10
  2. lemma OAI.LinearListHadwiger.Recursion.source_only line 55
  3. lemma OAI.LinearListHadwiger.Recursion.rooted_of_occurrences line 64
  4. theorem OAI.LinearListHadwiger.Recursion.reroute_disjoint_districts line 100
  5. lemma OAI.LinearListHadwiger.Recursion.paired_paths_on line 161
  6. lemma OAI.LinearListHadwiger.Recursion.rooted_from_bag_routes line 183